作者suhorng ( )
看板PLT
标题Re: [问题] Free Monad 是怎麽来的？
时间Tue Feb 4 22:07:40 2014
※ 引述《suhorng ( )》之铭言：
: 不过那个结构[aka. data Free f a = Pure a | Impure (f (Free f a))]
: 到底要怎麽推出来呢...?
各位板友新年快乐XD" 虽然年都要过完了
最近发现同一个作者还有另外几篇介绍 Free Monad 的文章：
http://www.haskellforall.com/2012/06/you-could-have-invented-free-monads.html
http://www.haskellforall.com/2012/07/purify-code-using-free-monads.html
我觉得他给的程式范例解释的很清楚, 也有小提及前几篇文提到的list
另外, 关於 free monad 还有个很有趣的用 CPS 改进复杂度的介绍:
http://www.haskell.org/haskellwiki/Performance/Monads
(比较简短的解释:
http://www.haskell.org/pipermail/haskell-cafe/2010-January/072454.html )
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 118.166.44.154
※ 编辑: suhorng 来自: 118.166.44.154 (02/04 22:17)