1. make the evaluation by order.
2. Mark you touch a Monad. Once you touch Monad, you are in this Monad forever, otherwise you may be in danger.
3. function combination. In other words, a monad is a box- you can put things into the box (with
return
) and manipulate things inside of the box (with bind
).
http://hi.baidu.com/starwing/blog/item/9b0f78f4f938fdd1f2d3859e.html
回复删除http://en.wikibooks.org/wiki/Haskell/Advanced_monads
回复删除