学习Haskell等纯函数式语言背后的理论的参考资料？

Question

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

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

Answer 1

Philip Wadler和Simon Peyton Jones的论文应该让你开始了解Haskell背后的理论。西蒙·佩顿·琼斯（Simon Peyton Jones）出版的书The Implementation of Functional Programming Languages（在线提供）很老，但仍然很有趣。

Answer 2

我建议查看一些有关该主题的研究论文。 Philip Wadler的“理解Monads”和“Monads for functional programming”是理解monad的两个很好的起点。

您可以在http://www.haskell.org/haskellwiki/Research_papers找到最多的链接。

Answer 3

Haskell有一个Hindley Milner型系统。有关详细信息，请参阅Wikipedia和this blog post。

Answer 4

也许你会发现这个blog post很有用。

Answer 5

如果你真的想要理解函数式语言，那么Lambda演算是绝对重要的。 我可以推荐Henk Barendregt's introduction，以及他的book（在线全文）。