《计算机程序的构造和解释》（SICP）- Harold Abelson, Gerald Jay Sussman
基本信息
- 书名：Structure and Interpretation of Computer Programs (SICP)
- 作者：Harold Abelson, Gerald Jay Sussman, Julie Sussman
- 版本：第2版（1996年）
- 中文译名：计算机程序的构造和解释
- 页数：491页
- 出版社：机械工业出版社
核心主题
1. 程序设计语言的本质
SICP认为程序设计语言不仅仅是指挥计算机执行任务的方式，更是一种组织计算思想的框架。一个好的编程语言应该提供：
- 基本表达形式：表示最基本的个体
- 组合的方法：从简单元素构造复合元素
- 抽象的机制：为复合元素命名并以单元方式处理
2. 过程性抽象（Procedural Abstraction）
- 通过定义过程来隐藏实现细节
- 过程可以作为参数传递给其他过程
- 高阶函数是SICP的核心概念之一
3. 数据抽象（Data Abstraction）
- 将数据的表示和使用分离
- 通过构造函数和选择函数来操作数据
- 减少系统各部分之间的耦合
4. 元语言抽象（Metalinguistic Abstraction）
- 通过扩展语言本身来解决问题
- 允许定义新的语法形式
- 体现了”语言即工具”的思想
书中主要内容结构
第1章：构造过程抽象
- 过程作为-black-box-使用
- 递归与迭代
- 树形递归
- 过程测试
第2章：构造数据抽象
- 符号数据处理
- 区间算术
- 数据作为程序组件
- 对象的引入
第3章：赋值与状态
- 局部状态对象
- 并发编程介绍
- 流的延迟求值
第4章：元语言抽象
- Scheme解释器
- 正则表达式匹配器
- 符号微分器
- 表格驱动编程
第5章：寄存器机器中的计算
- 寄存器机器设计
- 解释器模拟
- 编译器简介
核心理念
”计算是一种探索思想表达方式的手段”
书中强调：
- 程序应当写得能供人们阅读，其次才是供计算机执行
- 控制复杂性是程序设计的关键技术
- 抽象是控制复杂性的主要手段
Lisp/Scheme的重要性
- Lisp是历史第二悠久的语言（仅次于Fortran）
- 程序与数据对象的统一表示
- 带有废料收集的堆分配数据
- 支持高阶函数和闭包
程序设计的艺术
- 应该像写文章一样写程序
- 关注程序的清晰性和结构性
- 通过模块化分解问题
重要概念
递归 vs 迭代
- 递归：过程调用自身
- 迭代：使用循环或尾递归
- 书中强调理解两者之间的关系
流（Streams）
- 延迟计算的列表
- 可以表示无限序列
- 实现”即时计算”而非”预先计算”
非确定性编程
- 允许程序表达多种可能性
- 使用
amb运算符 - 用于解决约束满足问题
历史地位
- 1980年起在MIT作为计算机科学导引课程教材
- 1984年出版第1版，1996年修订为第2版
- 被斯坦福、普林斯顿、牛津、东京大学等100多所高校采用
- 对计算机科学教育产生了深远影响
- 被誉为”计算机科学的圣经”
学习建议
- 动手实践：书中代码需要实际运行和理解
- 循序渐进：从基础概念开始，不要急于跳章
- 注重抽象：理解抽象是如何控制复杂性的
- 完成习题：书中的习题是理解的关键
与其他知识的关联
- 函数式编程 - SICP是函数式编程的经典教材
- Scheme语言 - 书中使用的Lisp方言
- 编译器设计 - 第4、5章涉及解释器和编译器
- 计算理论 - 涉及lambda演算和图灵机
- 数据结构 - 第2章详细讲解数据抽象
待确认
- 需要OCR更多页面以验证章节结构
- 需要检查是否有更新的第3版信息
- 确认中文版翻译质量
本书是计算机科学领域的经典教材，强调程序设计的思维和艺术，而非仅仅语法和API。