[推荐] The Implementation of Functional Programming Languages

MMMIX

The Implementation of Functional Programming Languages
Simon Peyton Jones, published by Prentice Hall, 1987.

以 Miranda 为例，介绍了 functional programming language 实现的核心概念，非常的易读易懂。看完本书，可以对 functional 语言的一些核心特性，例如 pattern matching, lazy evaluation, structured type, 等的实现有一个系统的了解。

虽然是二十多年前的书，但仍然很值得一读。另外，由于 Haskell 的语法语义就是脱胎于 Miranda，因此本书对于学习 Haskell 也有相当大的参考作用。

可以在线阅读或者下载后阅读：
http://research.microsoft.com/en ... ers/slpj-book-1987/

ChiyuT

在我们学校图书馆的一个角落里找到了这本二十年前的书……囧

既然版主推荐，我决定去复印一本。