The Implementation of Functional Programming Languages (1987)
5 days ago
- #Graph Reduction
- #Lambda Calculus
- #Functional Programming
- 书名：《函数式语言的实现》由西蒙·佩顿·琼斯撰写，与菲利普·瓦德勒、彼得·汉考克和戴维·特纳共同创作。
- 重点：使用惰性图归约实现函数式编程语言。
- 第一部分：将高级函数式语言翻译为λ演算，涵盖模式匹配和类型检查。
- 第二部分：通过图归约简单实现λ演算，随后介绍改进方案和替代方法。
- 第三部分：引入G-machine用于复杂的图归约，显著提升性能。