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