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

Traits:
GitHub - thautwarm/CanonicalTraits.jl: Full-featured traits in Julia. Without full features how dare I say this?

HKTs: GitHub - thautwarm/HigherKindedPolymorphisms.jl: A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)

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

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

2 个赞