發(fā)簡信
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...