看板
[ PLT ]
討論串[問題] Free Monad 是怎麼來的？
共 5 篇文章
內容預覽:
最近看code時, 看到好幾個的地方都出現 free monad:. http://www.haskellforall.com/2013/06/. from-zero-to-cooperative-threads-in-33.html. Data types `a la carte 最後考慮結合mo
(還有502個字)
內容預覽:
用特例來說的話，其實看 free monoid 就好. 要構造 free monoid (FA, e, .) over A. 不同於傳統用 term algebra 取 quotient 的方式，. 我們可以層層迭代，第 n 層恰好有 n 個 dot 運算. 第零層 X0 只有 A. 第一層 X1
(還有1098個字)
內容預覽:
參考這邊... http://en.wikipedia.org/wiki/Church_encoding. Church 在只有函數的 lambda calculus 裡面定義. 0 為 \f \x -> x. 1 為 \f \x -> f x. 2 為 \f \x -> f (f x). 3 為
(還有250個字)
內容預覽:
我覺得若能用 "monad is monoid in the category of endofunctors". 這個觀點把 free monoid 和 free monad 類比起來，應該會比較直覺。. （警告：本文論述和正式理論有顯著差距。）. 先從 monoid 和 monad 的類比開始。
(還有2096個字)
內容預覽:
各位板友新年快樂XD" 雖然年都要過完了. 最近發現同一個作者還有另外幾篇介紹 Free Monad 的文章：. http://www.haskellforall.com/2012/06/you-could-have-invented-free-monads.html. http://www.has
(還有234個字)