典范特质 查看文档以获取更多详细信息。 特征 抽象（通过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 en