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...