完备的traits/type classes以及高阶类型的实现


#1

Traits:
https://github.com/thautwarm/CanonicalTraits.jl

HKTs: https://github.com/thautwarm/HigherKindedPolymorphisms.jl

高阶类型目前存在性能问题,traits在type stable时没有影响。
近期比较忙暂不介绍了。README中例子应该比较简单易懂。

了解holy traits的朋友,不妨比较一下它和传统的,典范的traits的差异优劣。传统的典范的traits就是haskell的typeclasses, rust和scala的traits那样的东西。