Haskell类别论维基书章节(涉及Haskell中的CT) 通过类别论学习Haskell,并在类别地探险:像Flatterland一样,只不过是关于类别的(一些书籍的评论) Dan Piponi的博客:http://blog.sigfpe.com/ Edsko de Vries的函数式程序员抽象无意义pdf讲座