前言译文

扼杀新思想最好的途径莫过于将其置于教育系统之神龛。教科书出版者，认证机构，行会组织，大学入学考试命题人——一旦囿于某法，便会固步于彼此间的约束，阻碍新思想的发展。是故，常常看见学生修习灭亡之国的“现代”地理志，常常看见学生修习被计算器淘汰的对数表。且于计算机科学，入门课程困于过气十来年的教学法，此法被奉为圣典时，是值1980s中期，此间，大学入学考试委员会批准的一门大学预科考试便是基于Pascal。

本书为摆脱上述困境指明了道路。它强调编程乃想法表达之途径，甚于仅是指导电脑执行任务。

Julie，Gerry Sussman 和我都受宠若惊，因Harvery 和 Wright 把他们革命性的计算机科学导论视为SICP的“前传”。编写SICP期间，我们常引用美国大计算机科学家Alan Perlis 的箴言。Perlis是Algol编程语言的设计者之一，此语言始于1958年，构筑了形式化和精确化的传统。如下一引言乃Perlis不得已而言于1975年，早AP考试9年：
Algol是个祸根。用它无趣味。Algol现已是管道工联盟的章程。它助你设计正确的结构而不崩溃，此过程却毫无乐趣。 写Algol程序没有愉悦之感。它需要的是必不可少的劳力，和对枯燥细节的全神贯注。

Harvery 和 Wright 的导论起于另一个知识传统，它源自人工智能和Lisp的研究。使用本书走进计算科学，要关注两个基本技能。

一是符号化编程的概念。这就意味着你不仅要处理数字和符号，更要处理结构化的数据集合——单词是字母的表，句子是单词的表，段落是句子的表，文章是段落的表，依次类推。你汇集数据依照的是自然化的部件，而非视数据为微小的碎片。其中差异，相当于“找出句中第三个单词的第五个字母”与“扫视句子，见两空格后止，再扫四个字母，返回下一个字母。”

二是使用高阶函数的技巧。这就意味着你不只是写程序，更是写会写程序的程序。因之，你可把工具改造得更为强大。

此二技当属核心，编程入门课概莫能外，Harvery 和 Wright 就是这么做的。其本质原理是，视对象为一般的部件，用灵活的方法去拓展组合，而非视对象为小碎片，拼凑成僵硬的构造物。

你若使用此书，当去思索想法之表达，而非句法之细节，当去设计自己的语言，而非记忆他人的规则。此类行动，将改变你的人生观——不仅仅只针对编程，更是针对将设计作为重要一环的任何领域。这是因为，你是学习欣赏部件间的关系，而非专注孤立的碎片。再次引用Alan Perlis的箴言：
人们思考事物，依据句型，成语和词组，不再拣抹子和西门汀，砌砖块般处理。万里长城，矗立千年，已为名迹。其建造过程定当无趣。

Hal Abelson