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