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