译者简介

裘宗燕

北京大学数学学院信息科学系教授。长期从事计算机软件与理论、程序设计语言和符号计算方面的研究与教学工作。已出版多部著作和译著，包括《程序设计语言基础》（译著，北京大学出版社，1990）、《Mathematics数学软件系统的应用与程序设计》（编著，北京大学出版社，1994）、《C++程序设计语言（特别版）》（译著：机械工业出版社，2002）、《C++语言的设计和演化》（译著，机械工业出版社，2002）、《程序设计语言——概念和结构》（合译，机械工业出版社，2002）、《从问题到程序——程序设计与C语言引论》（编著，机械工业出版社，2005年第1版，2011年第2版）等。

本书主要介绍计算的核心思想，采用的方法是为计算建立一系列概念模型。主要内容包括：构造函数抽象，构造数据抽象，模块化、对象和状态，元语言抽象，寄存器机器里的计算等。采用JavaScript作为实例分析，但并不拘泥于对语言的解释，而是通过这种语言来阐述程序设计思想。第1章介绍了计算过程以及函数在程序设计中扮演的角色。第2章在第1章的基础上提供了将数据对象组合起来形成复合数据，进而构造抽象的方法。第3章介绍了一些帮助我们模块化构造大型系统的策略。第4章通过元语言抽象探究如何在一些语言的基础上开发新语言的技术。第5章从寄存器机器的角度出发，通过设计寄存器机器，开发一些机制，实现重要的程序设计结构，同时给出一种描述寄存器机器设计的语言。本书揭示计算机程序设计思想的实质是改变了人们的思考方式：从命令式的观点去研究知识的结构。因此，本书所阐述的设计思想不仅适用于计算机程序设计，而且适用于所有工程设计。

Harold Abelson,Gerald Jay Sussman,Martin Henz,Tobias Wrigstad,with Julie Sussman:Structure and Interpretation of Computer Programs:JavaScript Edition（ISBN 978-0-262-54323-1）.

Simplified Chinese translation rights arranged with MIT Press through Bardon-Chinese Media Agency.

No part of this book may be reproduced or transmitted in any form or by any means,electronic or mechanical,including photocopying,recording or any information storage and retrieval system,without permission,in writing,from the publisher.

本书中文简体字版由MIT Press通过Bardon-Chinese Media Agency授权机械工业出版社在中国大陆地区（不包括香港、澳门特别行政区及台湾地区）独家出版发行。未经出版者书面许可，不得以任何方式抄袭、复制或节录本书中的任何部分。

“我认为特别重要的，就是在计算机科学领域享受计算的乐趣。这一学科起步时充溢着乐趣。当然，付钱的客户常常觉得受骗，一段时间后，我们开始严肃看待他们的抱怨。我们开始觉得，自己真像是要为成功地、无误和完美地使用这些机器负起责任。我并不认为我们可以做到这些。我认为我们的责任就是去拓展这个领域，设定新方向，并享受自己领地的乐趣。乐趣无处不来，它们出自发现和证明一个定理，写出一段程序，或者破解一段编码等。无论乐趣从何而来或者因何出现，我希望计算机科学领域绝不要丢掉其趣味意识。最重要的是，我希望我们不要变成传道士。你知道的有关计算的东西，其他人也都能学到。绝不要认为成功计算的钥匙只掌握在你的手里。你能掌握的——也是我认为并希望的——不过是智慧：那种能使你看到的这种机器比你第一次站在它面前时更强大，能够做得更多的能力。”

——Alan J.Perlis（1922年4月1日—1990年2月7日）