發(fā)簡(jiǎn)信
IP屬地：河南
-
函子與單子--從范疇論到編程作為一名計(jì)算機(jī)工作者，理解范疇論中的函子與單子的目的，還是為了更好的理解函數(shù)式編程中的函子與單子，對(duì)于我來說，沒有比理清兩者之間的對(duì)應(yīng)關(guān)系，能更...
-
白monoid是monoid，白monoid非monoid
Monad有兩種定義，一種是1個(gè)endofunctor + 2個(gè)特殊的natural transformations，另外一種是一個(gè)Monoid...
-
理解范疇論中單子需要的最小知識(shí)集A monad is just a monoid in the category of endofunctors, what's the pro...