计算机程序的构造和解释

为什么推荐

《计算机程序的构造和解释》从一个很根本的问题开始：程序究竟是什么？它先用过程与数据抽象建立边界，再通过高阶过程、状态、流和元语言抽象，逐步让读者看到程序不仅能计算结果，还能描述另一种计算规则。Scheme 的语法很小，反而让注意力集中在模型、组合方式和抽象层次上。

当你亲手写出解释器

全书最有力量的转折，是从“使用一门语言”走向“构造一门语言”。当求值器、环境模型和语法规则被拆开以后，许多原本像黑箱的概念开始变得具体：作用域如何形成，状态为什么制造时间顺序，惰性求值又改变了什么。它不会直接教你今天流行的框架，却会让你在学习任何新语言时，更快看见语言背后的计算模型。

版本信息

本页对应机械工业出版社与中信出版社 2004 年 2 月出版的“原书第 2 版”，作者为 Harold Abelson、Gerald Jay Sussman 与 Julie Sussman，裘宗燕译，ISBN 9787111135104。页面采用该豆瓣条目对应的深色中文封面。

封面与版本信息来自 豆瓣图书对应版本。