CanonicalTraits.jl：Julia的全特征。 没有完整功能，我怎么敢这样说？

典范特质 查看文档以获取更多详细信息。 特征 抽象（通过@implement! ） 多参数特征 功能依赖 通过字典传递算法实现 优雅的符号 弹性实例和弹性类别 """ vector space to scalar space """ function V2F end @trait VecSpace{F, V} where {F = V2F (V)} begin vec_add :: [V, V] => V scalar_mul :: [F, V] => V end @trait VecSpace{F, V} >: InnerProd{F, V} where {F = V2F (V)} begin dot :: [V, V] => F end @trait InnerProd{F, V} >: Ortho{F, V} where {F = V2F (V)