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

>>阅读原文<<