haskell的世界觀(2)

2007-04-02舊作。原載：http://blog.csdn.net/st_monad/article/details/1548863 一個Monad m定義了一個運算(computation)： 圖中上面一個是monad m a，下面一個是function (a->mb)。 可以大致這麼理解，一個monad是包含兩面的，它除了在一個世界中作爲a以外，還攜帶了另外一個世界如何從in變化到out

>>阅读原文<<