haskell - 学习 Haskell 等纯函数式语言背后的理论的引用资料？

Question

在学习 Haskell 时，我有一种感觉，作者并不总是告诉我一切，所以要真正理解它，我想知道类型系统、monad 和类似概念背后的理论。

这些概念大部分来自我听说过的类别理论，那么关于这个主题和相关主题的好书/网站有哪些？

Answer 1

Philip Wadler的论文和 Simon Peyton Jones应该让你开始了解 Haskell 背后的理论。本书The Implementation of Functional Programming Languages (可在线获得)西蒙·佩顿·琼斯(Simon Peyton Jones)的作品相当古老，但仍然很有趣。