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