COMPOSING PROGRAMS

伯克利 CS61A 教材 Composing Programs 的中文翻译，也是计算机经典 SICP 的 Python 版本。

在线阅读：https://composingprograms.netlify.app

内容

全书 4 章 29 节，均已完成翻译与审校。

第一章：使用函数构建抽象

• 1.1 开始
• 1.2 编程要素
• 1.3 定义新的函数
• 1.4 设计函数
• 1.5 控制
• 1.6 高阶函数
• 1.7 递归函数

第二章：使用数据构建抽象

• 2.1 引言
• 2.2 数据抽象
• 2.3 序列
• 2.4 可变数据
• 2.5 面向对象编程
• 2.6 实现类和对象
• 2.7 对象抽象
• 2.8 效率
• 2.9 递归对象

第三章：计算机程序的解释

• 3.1 引言
• 3.2 函数式编程
• 3.3 异常
• 3.4 组合语言的解释器
• 3.5 抽象语言的解释器

第四章：数据处理

• 4.1 引言
• 4.2 隐式序列
• 4.3 声明式编程
• 4.4 逻辑编程
• 4.5 合一
• 4.6 分布式计算
• 4.7 分布式数据处理
• 4.8 并行计算

本地运行

需要 Bun。

bun install      # 安装依赖
bun run dev      # 本地预览（http://localhost:5173）
bun run build    # 构建到 .vitepress/dist

提交前跑一遍完整检查：

bun run typecheck    # 类型检查
bun run lint         # 代码检查
bun run format:check # 格式检查
bun run test         # 单元测试

翻译规范

• GLOSSARY.md —— 术语表，逐章校对的基准，一切术语以此为准。
• TRANSLATION.md —— 翻译风格约定，含「常见翻译腔（反面清单）」与交付前自检。

修改译文前请先读这两份文档。术语以官方 Python 中文文档 与 SICP 中译本 为权威来源。

反馈与贡献

欢迎任何形式的参与，详见 CONTRIBUTING.md。

• 发现错漏：开一个 issue，写明章节、原句与你的建议。
• 提交修改：发 PR 前请先读 TRANSLATION.md，保持术语一致。

技术栈

VitePress + Vue 3 + TypeScript，包管理用 Bun；oxlint / oxfmt 做检查与格式化，vitest 跑测试，第三、四章的 Scheme 代码块由 BiwaScheme 提供交互运行。

贡献者

许可与致谢

原书 Composing Programs 由 John DeNero 编写，基于 Harold Abelson 与 Gerald Jay Sussman 的《计算机程序的构造和解释》，以 Creative Commons 署名—相同方式共享（CC BY-SA）许可发布。本译文是其衍生作品，正文同样以相同许可发布；仓库中的站点代码以 MIT 发布。

感谢原作者 John DeNero 与 SICP 的两位作者，也感谢每一位参与翻译和给项目 star 的同学。