文件名称:gonads:Go 的范畴论抽象
文件大小:4KB
文件格式:ZIP
更新时间:2024-06-28 01:20:55
Go
性腺 Gonads 是 Go 的类别抽象库。 显然,这不是 Go 的编程方式,我怀疑它是否已做好生产准备。 这个图书馆受到了和很大影响。 代数: ###半组 每个Semigroup必须实现一个满足关联性质的二元运算(在性腺中命名为Apply )。 if ( a . Apply ( b )). Apply ( c ) != a . Apply ( b . Apply ( c )) { t . Error ( "Semigroup doesn't hold associativity" ) } ###单体 实现 Monoid 接口的值也应该实现 Semigroup。 除此之外,它应该有一个Zero元素。 if b . Zero (). Apply ( b ) != = b { t . Error ( "monoid doesnt hold left identity" )
【文件预览】:
gonads-master
----semigroup.go(73B)
----semigroup_test.go(429B)
----functor.go(87B)
----monoid.go(79B)
----monoid_test.go(479B)
----LICENSE(1KB)
----functor_test.go(1KB)
----wercker.yml(20B)
----.gitignore(266B)
----.wercker(41B)
----README.md(1KB)