在学习Haskell的过程中，我感到作者并不总是告诉我所有的事情，因此要真正理解它，我想了解类型系统，单子(monad)和类似概念背后的理论。
这些概念大多数来自我听过的类别理论，那么关于此主题和相关主题的一些好书/网站又有哪些呢？
最佳答案
Philip Wadler和Simon Peyton Jones的论文应该使您开始了解Haskell背后的理论。西蒙·佩顿·琼斯(Simon Peyton Jones)撰写的The Implementation of Functional Programming Languages书(在线可用)虽然很古老，但仍然很有趣。