Study note
Essentials of Programming Languages
Properties
- Type
- Books
- Status
- 想读
- Domain
- Compilers / PL
- Category
- 编程语言与函数式编程
- Source
- mitpress.mit.edu
- Vault note
library/books/compilers/Essentials-of-Programming-Languages-690dc4d13f11e2f1.md
Summary
程序语言理论经典入门教材,通过逐步实现解释器来讲变量绑定、词法作用域、过程、递归、状态、continuation、异常、模块和类型系统等核心语言机制。
Highlights
比直接读类型规则更工程友好,适合用“实现一门小语言”的方式建立 PL 直觉,是从编程经验进入语言语义和解释器设计的好入口。
Notes
Daniel P. Friedman、Mitchell Wand;2008。
Comments
Loading comments...