文件名称：monad-math:制定单子法则
文件大小：5KB
文件格式：ZIP
更新时间：2024-06-14 02:38:02
Haskell
Monad-math 从范畴理论的角度编写单子法则！ MonadMath.hs公开了monad的三个组成部分：函子F以及自然变换µ和η 。 test-monadmath.hs包含自然性测试（ µ y . F h = F h . µ x test-monadmath.hs µ y . F h = F h . µ x µµf = µfµ和µfη = I_F = µηf η y . I h = F h . η x µµf = µfµ ）和monad法则测试（ µµf = µfµ和µfη = I_F = µηf ）。 （感谢）
【文件预览】：
monad-math-master
----monad-math.cabal(1KB)
----README.md(470B)
----Setup.hs(46B)
----tests()
--------test-monadmath.hs(5KB)
----src()
--------MonadMath.hs(3KB)