`` 间或看看 1.Typeclassopedia: http://www.haskell.org/haskellwiki/Typeclassopedia 2.All About Monads: http://www.haskell.org/haskellwiki/All_About_Monads . 一次看不完没关系,每天能多前进一点就行了. `` 像 State Monad, Reader Monad, Writer Monad, List Monad, Maybe Monad, Cont Monad, 要闭上课本自己能够写出来(当然还有Functor)。 Haskell 有一个牛B的地方, 你把 (return :: a -> m a) (bind :: m(m a) -> m a) 的函数签名类型写出来以后,各个实现都只有一个写法(List Monad 除外),你想要写错都不可能, 有点像华容道,多尝试一些就出来了。