计算机程序的构造和解释

Structure and Interpretation of Computer Programs

魔法书

MIT 的经典教材。以 Scheme 语言为载体，讲解程序设计的核心思想：抽象、递归、高阶函数、数据抽象、元语言抽象。