rust对于多态性的解决办法是type class,
也正是来源于函数式的思想。
多态性分发虽然是解决可扩展性的一种好途径,
但是type class是同一个方向上更先进的。
【 在 eGust (十年) 的大作中提到: 】
: oo 是纯粹靠直觉设计出来的东西,这套东西跟学院派的 functional programming 比起来就是渣渣。
: fp 很重要的一个概念就是 immutable,无数 bug 都是因为数据的变动产生的。oo 最大的问题就是,你调用一个方法,不知道数据会不会变化;传一个对象给一个函数,不知道会不会被修改。rust 解决数据被无意修改的问题的思路就是引入 ownership,这与 oo 的设计是格格不入的
: 另外就是,zero-cost abstraction 在 oo 条件下很难实现,因为编译期很难确定数据有没有变化(无法保证 immutable),具体哪个函数被调用了(需要在运行期查虚函数表)。
: ...................
--
FROM 101.88.36.*