摘要： monad本意是单子。在haskell中，第一个接触的基本都是IO action，通过把IO动作包装起来我们能很方便的与现实世界进行数据交换。但其实monad的用途不止如此，monad还能讲一系列操作进行序列化，而这一点在通常编程中是非常需要的。而在haskell中，类似的事情则是通过递归来完成了平时需要序列化的工作。但其实haskell中也有能进行顺序操作的方法，那就是monad。一个类似于monad的定义基本是这个样子的。class Computation c where success :: a -> c a failure :: String -> c a augme... 阅读全文