函数式程序设计语言的实现
The Implementation of Functional Programming Languages
Simon L. Peyton Jones · 初版 1987 年
- 44次提及
- 22人推荐
- 33位 HN 评论者
为什么值得读
由浅入深讲解函数式语言核心原理与类型检查器的技术实现
- 详尽解释类型系统及类型检查器实现
- 深入浅出讲授函数式编译底层机制
- 官方公开提供免费版本可在线阅读
适合：懂词法语法分析且想实现函数式语言的人
值得读指数：73 / 100
Hacker News 读者推荐
……早在 1980 年代，他在教我 lambda 演算方面就做得极好，而且当他解释 S 和 K 组合子时彻底吸引了我的注意。同一时期另一部极佳的著作是 Simon Peyton Jones 的《The Implementation of Functional Programming Languages》，网上有免费版本：http://research.microsoft.com/en-us/um/people/simonpj/papers... [编辑补充：我知道这是老作品了——但我真的很喜欢它！]
arethuza 在 HN 的推荐
虽然它不像 Pierce 的书那样完全专注于类型论（买他的书绝对亏不了），但我真的很喜欢 Peyton Jones 在《The Implementation of Functional Programming Languages》里关于类型的那部分（类型系统那几章是 Peter Hancock 写的）。它主要是从技术实现的角度来看的。这本书特别之处在于包含了一个解释得非常透彻的类型检查器实现。……
benbataille 在 HN 的推荐
Simon Peyton Jones 的开山之作《Implementation of Functional Programming Languages》在绝版后现在可以免费获取了[0]。如果你还没读过，我强烈推荐去读读！[0]：https://www.microsoft.com/en-us/research/publication/the-imp...
ffreire 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。