发简信
IP属地：香港
-
函子与单子--从范畴论到编程作为一名计算机工作者，理解范畴论中的函子与单子的目的，还是为了更好的理解函数式编程中的函子与单子，对于我来说，没有比理清两者之间的对应关系，能更...
-
白monoid是monoid，白monoid非monoid
Monad有两种定义，一种是1个endofunctor + 2个特殊的natural transformations，另外一种是一个Monoid...
-
理解范畴论中单子需要的最小知识集A monad is just a monoid in the category of endofunctors, what's the pro...