文件名称：CanonicalTraits.jl：Julia的全特征。 没有完整功能，我怎么敢这样说？
文件大小：17KB
文件格式：ZIP
更新时间：2024-03-07 07:20:39
typeclasses traits 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)
【文件预览】：
CanonicalTraits.jl-master
----.github()
--------workflows()
----src()
--------Typeclasses.jl(5KB)
--------CanonicalTraits.jl(172B)
--------Instances.jl(4KB)
--------Utils.jl(5KB)
----Project.toml(442B)
----.travis.yml(615B)
----LICENSE(1KB)
----test()
--------runtests.jl(5KB)
----README.md(2KB)
----docs()
--------src()
--------Project.toml(59B)
--------Manifest.toml(2KB)
--------make.jl(414B)
----.gitignore(85B)