F的面向对象机制和名字空间是重复的功能吗

2019-11-04 17:50:22

MLfamily的modulesystem基本就是namespace+encapsulation(opaquetype).Typeclass更接近interface/trait(顺便，有没有比较PLT/pedantic的两者对比？求…）,主要是用来做ad-hocpolymorphism得。在ML的moduleimplicit落地之前，ML的function/operatoroverloading仍然要比TypeClass尴尬得多（不过别忘了MLmodule还有functor(module-levelfunction或parametrizedmodule)，表达力是高于typeclass的。Coq全部都有（包括dependentrecord也有），所以全都不是互斥得。MLfamily的“真OO”特性（objectsystem,dynamicdispatch）一直都很尴尬……私以为ML系的“OO”像Rust那样用refstruct+“pipe-ishdot”的语法糖就足够了？手机答，以上

相关产品

相关资讯