發(fā)簡信
IP屬地：四川
-
函子與單子--從范疇論到編程作為一名計算機工作者，理解范疇論中的函子與單子的目的，還是為了更好的理解函數(shù)式編程中的函子與單子，對于我來說，沒有比理清兩者之間的對應(yīng)關(guān)系，能更...
-
白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...