高端网站建设 上海,西安百度推广网站建设,wordpress ftp设置,网络推广主要是做什么工作前言 原文#xff1a;Foreword 译者#xff1a;飞龙 协议#xff1a;CC BY-NC-SA 4.0 我有幸在我还是学生的时候见到了了不起的 Alan Perlis#xff0c;并和他交谈了几次。他和我共同深爱和尊重两种非常不同的编程语言#xff1a;Lisp 和 APL。跟随他的脚步是一项艰巨的任…前言 原文Foreword 译者飞龙 协议CC BY-NC-SA 4.0 我有幸在我还是学生的时候见到了了不起的 Alan Perlis并和他交谈了几次。他和我共同深爱和尊重两种非常不同的编程语言Lisp 和 APL。跟随他的脚步是一项艰巨的任务尽管他开辟了一条优秀的道路。尽管如此我想重新审视他在这本书的原始前言中所做的一条评论请阅读他的前言它紧随在这个前言之后然后再完成这个前言。是否真的比起有 10 个函数作用于 10 个数据结构有 100 个函数作用于一个数据结构更好
要仔细回答这个问题我们首先需要问这个数据结构是否“通用”它是否可以方便地满足那 10 个更专门的数据结构的作用
就此而言我们还可以问我们真的需要 100 个函数吗是否有一个单一的通用函数可以满足所有其他函数的作用
对于最后一个问题的令人惊讶的答案是“是的”构造一个接受1作为某个其他函数描述的数据结构和2参数列表的函数当应用于给定的参数时其行为与该其他函数完全相同只是稍微有些棘手。设计一个能够描述任何计算的数据结构也只是稍微有些棘手。这本书的第 4 章中描述了这样的一个数据结构表达式和语句的标记列表表示配对环境将名称与值关联和这样一个通用函数apply。所以也许我们只需要一个函数和一个数据结构。
理论上是这样的。实际上我们发现方便的是划分出有助于我们作为构建计算描述的人类来组织代码结构以便更好地理解它们的区别。我相信 Perlis 所说的不是关于计算能力而是关于人类的能力和局限性。
人类大脑似乎擅长给事物命名我们有强大的联想记忆。给定一个名称我们可以快速地回忆起一些相关的事物。这就是为什么我们通常发现使用λ演算比组合演算更容易对于大多数人来说解释 Lisp 表达式(lambda (x) (lambda (y) ( x y)))或 JavaScript 表达式
x y x y比组合表达式更容易。
((S ((S (K S)) ((S ((S (K S)) ((S (K K)) (K )))) ((S (K K)) I)))) (K I))
即使有直接的结构对应可以用五行 Lisp 代码轻松表达。
因此虽然原则上我们可以只使用一个通用函数但我们更喜欢将代码模块化给各个部分命名并提到函数描述的名称而不是不断地将描述本身提供给通用函数。
在我 1998 年的演讲“语言的成长”中我评论说一个优秀的程序员“不仅仅是编写程序。一个优秀的程序员建立了一个工作词汇。”当我们设计和定义程序的更多部分时我们给这些部分命名结果是我们有了一个更丰富的语言来编写其余的部分。
但我们也发现在数据结构之间划分出区别并给它们命名是很自然的。
嵌套列表可能是一种通用的数据结构值得注意的是许多现代和广泛使用的数据结构如 HTML、XML 和 JSON也是括号嵌套表示只是比 Lisp 的裸括号稍微复杂一点。还有许多函数比如找到列表的长度或将函数应用于列表的每个元素并得到结果列表这些函数在各种情况下都很有用。然而当我考虑特定的计算时我经常对自己说“我期望这个两个元素的列表是名字和姓氏但我期望那个两个元素的列表是复数的实部和虚部而我将把另一个两个元素的列表视为分数的分子和分母。”换句话说我在区分——并且在数据结构中明确表示这些区分可能是有用的部分原因是为了防止错误比如意外地将复数视为分数。再次强调这是关于人类能力和人类局限性的评论。
自本书第一版写成以来几乎已经有将近四十年的时间许多组织数据的方式已经相对标准化特别是“面向对象”的方法许多语言包括 JavaScript都支持对象、字符串、堆和映射等专门的数据结构并具有各种内置机制和库。但在这样做的过程中许多语言放弃了对更一般、通用概念的支持。例如Java 最初也不支持一流函数直到相对较近的时候才将其纳入大大增强了其表达能力。
APL 最初也不支持一流函数而且它最初的单一数据结构——任意维度的数组——并不像通用数据结构那样方便使用因为数组不能包含其他数组作为元素。最近的 APL 版本确实支持匿名函数值和嵌套数组这使得 APL 的表达能力大大增强。APL 的原始设计确实有两个非常好的地方一个是适用于该数据结构的全面函数集另一个是非常合适的函数名称集。我说的不是有趣的符号和希腊字母而是 APL 程序员在提到它们时使用的口头词汇比如shape、reshape、compress、expand和laminate这些名称不是指代符号而是指代它们所代表的函数。Ken Iverson 非常擅长为数组函数选择简短、易记、生动的名称。
虽然 JavaScript 和 Java 一样最初设计时考虑了对象和方法但它从一开始就纳入了一流函数并且使用其对象定义通用数据结构并不困难。因此JavaScript 并不像你想象的那样远离 Lisp正如《计算机程序的构造和解释》的这一版本所展示的它是一个呈现关键思想的良好替代框架。SICP从来不是关于一种编程语言它提出了有用于任何语言的强大、通用的程序组织思想。
Lisp 和 JavaScript 有什么共同之处抽象计算的能力代码加上一些相关数据以便以后作为函数进行执行在数据结构中嵌入对这些函数的引用的能力对参数调用函数的能力区分的能力条件执行一个方便的通用数据结构完全自动的数据存储管理鉴于其他一切这似乎是理所当然的直到你意识到许多广泛使用的编程语言没有它一大套对通用数据结构进行操作的有用函数以及使用通用数据结构表示更专门的数据结构的标准策略。
所以也许真相在 Perlis 如此雄辩地提出的两个极端之间。也许最佳点更像是 40 个足够通用地在通用数据结构如列表上有用地操作的函数但也有 10 组每组 6 个函数当我们从 10 个专门的视角看待通用数据结构时是相关的。如果我们给这些函数和专门视角起好名字这是可以管理的。
当你阅读这本书时请不仅注意编程语言的构造和它们的使用方式还要注意给函数、变量和数据结构起的名称。它们并不都像 Iverson 为他的 APL 函数选择的那样简短和生动但它们是以一种有意识和系统的方式选择的以增强你对整体程序结构的理解。
原语、组合方式、函数抽象、命名以及使用通用数据结构的约定方式来专门区分这些是一个良好编程语言的基本构建块。从那里开始想象力和基于经验的良好工程判断可以做剩下的事情。
—Guy L. Steele Jr.马萨诸塞州列克星敦2021
《计算机程序的构造和解释》前言1984 年 原文Foreword to Structure and Interpretation of Computer Programs, 1984 译者飞龙 协议CC BY-NC-SA 4.0 教育家、将军、营养师、心理学家和父母都在进行程序设计。军队、学生和一些社会也在进行程序设计。对于大问题的攻击采用了一系列程序其中大部分在途中出现。这些程序充满了似乎特定于手头问题的问题。要欣赏编程作为一种独立的智力活动你必须转向计算机编程你必须阅读和编写计算机程序——其中很多。程序的内容并不重要它们服务于什么应用也不重要。重要的是它们的表现如何以及它们如何与其他程序顺利地结合以创建更大的程序。程序员必须追求部分的完美和整体的充分性。在这本书中“程序”的使用集中在使用 Lisp 方言编写的、在数字计算机上执行的程序的创建、执行和研究上。使用 Lisp我们限制或限定的不是我们可以编程的内容而只是我们程序描述的符号。
我们与本书的主题有三个焦点人类思维、计算机程序集合和计算机。每个计算机程序都是一个模型在头脑中孵化出一个真实或心理过程的模型。这些过程源自人类的经验和思想数量庞大细节复杂而且在任何时候只能部分理解。我们的计算机程序很少能完全满足我们对模型的要求。因此即使我们的程序是精心制作的离散符号集合是相互交织功能的马赛克它们不断地演变随着我们对模型的认识加深、扩大、泛化我们改变它们直到模型最终在我们努力的另一个模型中达到一个亚稳定的位置。与计算机编程相关的振奋源于头脑和计算机中不断展开的机制这些机制被表达为程序产生了感知的爆发。如果艺术诠释我们的梦想那么计算机以程序的形式执行它们
尽管计算机很强大但它是一个严格的任务主人。它的程序必须是正确的我们希望表达的内容必须在每一个细节上都准确无误。与其他符号活动一样我们通过论证来确信程序的真实性。Lisp 本身可以被赋予语义顺便说一句这是另一个模型如果一个程序的功能可以在谓词演算中指定那么逻辑的证明方法可以用来进行可接受的正确性论证。不幸的是随着程序变得庞大和复杂几乎总是如此规范的充分性、一致性和正确性本身变得值得怀疑因此完整的正确性论证很少伴随大型程序。由于大型程序是由小型程序发展而来的因此我们必须开发一套我们确信正确的标准程序结构的工具库——我们称之为成语并学会使用经过验证的组织技术将它们组合成更大的结构。这些技术在本书中得到了详细的处理理解它们对参与被称为编程的普罗米修斯企业至关重要。最重要的是发现和掌握强大的组织技术加速了我们创造大型、重要程序的能力。相反由于编写大型程序非常费力我们被激发去发明新的方法来减少要适应大型程序的功能和细节的负担。
与程序不同计算机必须遵守物理定律。如果它们希望快速执行——每个状态变化几纳秒——它们必须只传输电子的短距离最多英尺。由于这么多设备在空间中集中产生的热量必须被移除。一种精致的工程艺术已经发展出来在功能的多样性和设备的密度之间取得平衡。无论如何硬件始终在比我们编程关心的更原始的水平上运行。将我们的 Lisp 程序转换为“机器”程序的过程本身就是我们编程的抽象模型。它们的研究和创建为我们提供了对与编程任意模型相关的组织程序的深刻洞察。当然计算机本身也可以被建模。想想看最小的物理开关元件的行为是由量子力学建模的由微分方程描述其详细行为由在计算机上执行的数值逼近所捕捉而这些计算机由…组成
将三个焦点分开识别并不仅仅是战术上的便利。尽管人们说一切都在头脑中但这种逻辑上的分离会加速这些焦点之间的符号交流其丰富性、活力和潜力仅被人类经验中的生命演化所超越。在最好的情况下焦点之间的关系是亚稳定的。计算机永远不够大也不够快。硬件技术的每一次突破都会导致更大规模的编程项目、新的组织原则和抽象模型的丰富化。每个读者都应该定期问自己“朝着什么目标朝着什么目标”但不要问得太频繁以免错过编程的乐趣而陷入苦涩哲学的便秘中。
在我们编写的程序中一些但从来不够执行精确的数学功能比如排序或查找一系列数字的最大值确定素数或者找到平方根。我们称这样的程序为算法对它们的最佳行为已经有很多了解特别是关于执行时间和数据存储需求这两个重要参数。程序员应该掌握良好的算法和习惯用法。尽管有些程序抵制精确的规范但程序员有责任估计并始终努力改进它们的性能。
Lisp 是一个幸存者已经使用了大约四分之一世纪。在活跃的编程语言中只有 Fortran 的历史更长。这两种语言都支持重要应用领域的编程需求Fortran 用于科学和工程计算Lisp 用于人工智能。这两个领域仍然很重要他们的程序员对这两种语言如此忠诚以至于 Lisp 和 Fortran 可能会继续活跃使用至少另一个四分之一世纪。
Lisp 发生了变化。本书中使用的 Scheme 方言已经从原始的 Lisp 发展出来在几个重要方面与后者不同包括变量绑定的静态作用域和允许函数产生函数作为值。在其语义结构上Scheme 与 Algol 60 和早期的 Lisps 有着密切的联系。Algol 60 永远不会再成为一种活跃的语言它在 Scheme 和 Pascal 的基因中继续存在。很难找到比围绕这两种语言聚集的文化更不同的两种语言。Pascal 用于构建金字塔——由推动沉重的方块到位的军队建造的令人印象深刻、令人叹为观止的静态结构。Lisp 用于构建有机体——由适应波动的无数简单有机体的小队建造的令人印象深刻、令人叹为观止的动态结构。在这两种情况下使用的组织原则是相同的除了一个非常重要的区别赋予个体 Lisp 程序员的自由功能远远超过 Pascal 企业中所能找到的。Lisp 程序用功能膨胀的库其效用超越了产生它们的应用程序。列表Lisp 的本地数据结构在很大程度上负责这种效用的增长。列表的简单结构和自然适用性反映在那些令人惊讶地非特异的函数中。在 Pascal 中可声明的数据结构的丰富多样导致函数内的专业化抑制和惩罚了随意的合作。最好是有 100 个函数操作一个数据结构而不是有 10 个函数操作 10 个数据结构。因此金字塔必须在千年不变有机体必须进化或灭亡。
为了说明这种差异比较一下这本书中的材料和练习的处理方式与使用 Pascal 的任何第一课文本中的处理方式。不要误以为这是麻省理工学院专用的教材只有那里的学生才能理解。这本书必须是一本严肃的 Lisp 编程书不管学生是谁它在哪里使用。
请注意这是一本关于编程的书不同于大多数 Lisp 书籍后者被用作人工智能工作的准备。毕竟软件工程和人工智能的关键编程问题在研究的系统变得更大时往往会融合在一起。这解释了为什么人工智能之外对 Lisp 的兴趣越来越大。
正如人们所期望的那样人工智能研究产生了许多重要的编程问题。在其他编程文化中这些问题的激增导致了新语言的产生。事实上在任何非常大的编程任务中一个有用的组织原则是通过发明语言来控制和隔离任务模块内的流量。随着接近我们人类最常互动的系统边界这些语言往往变得不那么原始。因此这些系统包含了许多次复制的复杂语言处理功能。Lisp 具有如此简单的语法和语义以至于解析可以被视为一项基本任务。因此解析技术在 Lisp 程序中几乎不起作用语言处理器的构建很少成为大型 Lisp 系统增长和变化速度的障碍。最后正是这种语法和语义的简单性造成了所有 Lisp 程序员所承担的负担和自由。任何规模超过几行的 Lisp 程序都无法在没有自由功能的情况下编写。发明和适应发作和重新发明我们向在括号的巢穴中书写他的思想的 Lisp 程序员干杯。
—Alan J. Perlis康涅狄格州纽黑文
序言 原文Preface 译者飞龙 协议CC BY-NC-SA 4.0 《计算机程序的构造和解释》SICP通过建立一系列计算的心智模型向读者介绍了计算的核心思想。第 1-3 章涵盖了所有现代高级编程语言共有的编程概念。SICP 的最初两版使用 Scheme 编程语言作为其程序示例其极简的表达式导向语法使得该书能够专注于基本思想而不是所选择语言的设计。第 4 和 5 章使用 Scheme 来制定 Scheme 的语言处理器加深读者对心智模型的理解并探索语言扩展和替代方案。
自 1984 年出版以及 1996 年的第二版以来SICP 已被世界各地的大学和学院采用为教材包括新加坡国立大学NUS该校于 1997 年引入了基于 SICP 的入门课程 CS1101S。在 1990 年代中期Python、JavaScript 和 Ruby 等语言出现它们与 Scheme 共享核心设计元素但采用了更复杂的面向语句的语法使用熟悉的代数中缀表示法。它们的流行崛起导致教师们调整了基于 SICP 的课程通常是通过将示例程序翻译为他们选择的语言添加特定于该语言的材料并省略第 4 和 5 章的材料。
将 SICP 改编为 JavaScript
对将第二版 SICP 改编为 JavaScriptSICP JS的工作始于 2008 年的 NUSCS1101S 于 2012 年转换为 JavaScript。语言标准 ECMAScript 2015 引入了 lambda 表达式、尾递归和块作用域变量和常量这使得改编变得非常接近原版。我们只在 JavaScript 和 Scheme 之间的差异迫使我们感到必须进行实质性的改变时才对 SICP 进行了重大改动。该书只涵盖了 JavaScript 的一小部分因此读者不应该使用它来学习这种语言。例如JavaScript 对象的概念——按任何标准来看都是其基本组成部分之一——甚至没有提到
通过添加模拟 Scheme 基元的库包括对列表结构的支持并相应地调整文本将第 1-3 章的程序翻译成 JavaScript 是直截了当的。然而转换到 JavaScript 迫使我们对第 4 和 5 章的解释器和编译器进行微妙的更改以处理返回语句。Scheme 的表达式导向语法没有返回语句而返回语句是面向语句的语言的一个显著特征。
通过使用 JavaScript第 1-3 章向读者介绍了大多数主流语言的语法风格。然而同样的语法风格在第 4 章中引起了重大变化因为程序的直接表示作为数据结构不再能够被视为理所当然。这为我们提供了一个机会在第 4.1 节中向读者介绍程序解析的概念这是编程语言处理器的重要组成部分。在第 4.4 节中JavaScript 的严格语法结构使得所呈现的逻辑编程系统的实现变得复杂并暴露了 JavaScript 作为编程语言设计工具的局限性。
使用 SICP JS 的资源
SICP JS 的 MIT Press 网页链接到了这本书的用户支持。这提供了书中的所有程序和丰富的教师资源包括大量额外的练习和关于在典型大学学期中可以涵盖的 SICP JS 子集的建议。该书中的 JavaScript 程序在符合 ECMAScript 2020 JavaScript 规范ECMA 2020的任何 JavaScript 解释器中以推荐的严格模式运行。MIT Press 网页包括 JavaScript 包sicp其中提供了书中被认为是“原始”的所有 JavaScript 函数。
致读者
我们真诚地希望如果这本书是你第一次接触编程你将利用你对计算机程序的结构和解释的新理解来学习更多的编程语言包括 Scheme 和完整的 JavaScript 语言。如果你在阅读 SICP JS 之前已经学过 JavaScript你可能会对支撑该语言的基本概念有新的见解并发现如此少的东西可以取得如此大的成就。如果你已经了解原始的 SICP那么你可能会喜欢看到熟悉的思想以新的形式呈现并且可能会欣赏书的网页上提供的在线比较版本其中 SICP JS 和 SICP 可以并排查看。
—Martin Henz 和 Tobias Wrigstad
《计算机程序的构造和解释》序言1996 年和 1984 年 原文Prefaces to Structure and Interpretation of Computer Programs, 1996 1984 译者飞龙 协议CC BY-NC-SA 4.0 《SICP》第二版序言1996 年 软件可能不像其他任何东西它可能是用来丢弃的整个重点是始终将其视为肥皂泡吗 ——艾伦·J·佩里斯 自 1980 年以来本书的内容一直是麻省理工学院入门级计算机科学课程的基础。在第一版出版时我们已经教授了这些内容四年直到第二版出现为止又过去了十二年。我们很高兴看到我们的工作被广泛采用并融入其他教材中。我们看到我们的学生将本书中的思想和程序作为新计算机系统和语言的核心进行构建。在对古代犹太文学的双关语的实际实现中我们的学生已经成为我们的建设者。我们很幸运有这样有能力的学生和有成就的建设者。
在准备这个版本时我们吸收了数百个澄清建议这些建议来自我们自己的教学经验以及麻省理工学院和其他地方的同事的评论。我们重新设计了书中大部分主要的编程系统包括通用算术系统、解释器、寄存器机模拟器和编译器我们重新编写了所有的程序示例以确保符合 IEEE Scheme 标准IEEE 1990的任何 Scheme 实现都能运行这些代码。
这个版本强调了几个新主题。其中最重要的是不同时间处理方法在计算模型中所起的核心作用具有状态的对象、并发编程、函数式编程、惰性求值和非确定性编程。我们增加了关于并发和非确定性的新章节并试图贯穿整本书的主题。
该书的第一版紧随我们麻省理工学院一个学期的课程大纲。随着第二版中的所有新材料不可能在一个学期内覆盖所有内容因此教师将不得不进行选择。在我们自己的教学中我们有时会跳过逻辑编程部分第 4.4 节我们让学生使用寄存器机模拟器但我们不涉及其实现第 5.2 节我们只对编译器进行了简要概述第 5.5 节。即便如此这仍然是一门密集的课程。一些教师可能只希望覆盖前三四章将其他材料留给后续课程。
麻省理工学院出版社的网站为本书的用户提供支持。这包括书中的程序、示例编程作业、补充材料以及 Lisp 方言 Scheme 的可下载实现。
—哈罗德·阿贝尔森和杰拉尔德·杰伊·萨斯曼
《SICP》第一版序言1984 年 计算机就像小提琴。你可以想象一个新手先尝试留声机然后再尝试小提琴。他说后者听起来很糟糕。这就是我们从人文学家和大多数计算机科学家那里听到的论点。他们说计算机程序对特定目的很好但不够灵活。小提琴和打字机也是如此直到你学会如何使用它们。 ——马文·明斯基“为什么编程是表达不清楚和粗糙构想的好媒介” 《计算机程序的结构与解释》是麻省理工学院计算机科学的入门课程。对于主修电气工程或计算机科学的麻省理工学院学生来说这是“通识核心课程”的一部分该核心课程还包括两门有关电路和线性系统的课程以及一门关于数字系统设计的课程。自 1978 年以来我们一直参与该课程的开发并自 1980 年秋季起以目前的形式教授该课程每年约有 600 至 700 名学生。大多数学生在计算方面几乎没有或根本没有正式的训练尽管许多人稍微接触过计算机有些人有丰富的编程或硬件设计经验。
我们设计这门计算机科学入门课程的两个主要关注点。首先我们希望确立一个观念即计算机语言不仅仅是让计算机执行操作的一种方式而是一种表达方法论思想的新颖形式。因此程序必须是为人们而写的只是偶然为机器执行。其次我们认为在这个层次上需要解决的基本问题不是特定编程语言结构的语法也不是计算特定函数的巧妙算法甚至不是算法的数学分析和计算基础而是控制大型软件系统的知识复杂性的技术。
我们的目标是完成这门课程的学生应该对编程的风格和美学元素有所了解。他们应该掌握大型系统中控制复杂性的主要技术。如果程序以示范的风格编写他们应该能够阅读长达 50 页的程序。他们应该知道什么不需要阅读以及在任何时候他们不需要理解什么。他们应该对修改程序感到自信保留原作者的精神和风格。
这些技能并不是计算机编程所特有的。我们教授和借鉴的技术是所有工程设计的共同之处。我们通过构建隐藏细节的抽象来控制复杂性。我们通过建立常规接口来控制复杂性这使我们能够以“混搭”的方式组合标准、理解透彻的部件来构建系统。我们通过建立描述设计的新语言来控制复杂性每种语言都强调设计的特定方面并淡化其他方面。
我们对这门课程的方法的基础是我们的信念即“计算机科学”并不是一门科学它的重要性与计算机无关。计算机革命是我们思考方式和表达思想方式的革命。这种变化的本质是最好称为“程序式认识论”的出现——从命令的角度研究知识结构而不是古典数学学科所采用的更为陈述性的观点。数学提供了处理“是什么”的概念的精确框架。计算提供了处理“如何”的概念的精确框架。
在教授我们的材料时我们使用的是 Lisp 编程语言的一个方言。我们从不正式教授这种语言因为我们不必这样做。我们只是使用它学生们几天就能掌握。这是 Lisp 类语言的一个巨大优势它们几乎没有形成复合表达式的方式几乎没有语法结构。所有的形式属性都可以在一个小时内覆盖就像国际象棋的规则一样。过了一段时间我们就会忘记语言的语法细节因为几乎没有并着手处理真正的问题——弄清楚我们想要计算什么如何将问题分解为可管理的部分以及如何处理这些部分。Lisp 的另一个优势是它支持但不强制更多的程序模块化分解的大规模策略比我们所知道的任何其他语言都要多。我们可以进行过程和数据抽象我们可以使用高阶函数来捕捉常见的使用模式我们可以使用赋值和数据变异来模拟局部状态我们可以使用流和延迟求值来链接程序的部分我们可以轻松实现嵌入式语言。所有这些都嵌入在一个交互式环境中具有出色的支持用于增量程序设计、构建、测试和调试。我们感谢所有世代的 Lisp 巫师从 John McCarthy 开始他们打造了一种前所未有的强大而优雅的工具。
Scheme我们使用的 Lisp 方言是试图将 Lisp 和 Algol 的力量和优雅结合在一起的尝试。从 Lisp 中我们获得了源自简单语法、将程序统一表示为数据对象以及垃圾回收堆分配数据的元语言能力。从 Algol 中我们获得了词法作用域和块结构这些都是编程语言设计先驱在 Algol 委员会上的贡献。我们希望引用 John Reynolds 和 Peter Landin 对 Church 的λ演算与编程语言结构关系的洞察。我们也承认我们对数学家的债务他们在计算机出现之前就已经勘探了这个领域。这些先驱包括 Alonzo ChurchBarkley RosserStephen Kleene 和 Haskell Curry。
—Harold Abelson 和 Gerald Jay Sussman
致谢 原文Acknowledgments 译者飞龙 协议CC BY-NC-SA 4.0 《计算机程序的构造和解释》SICP JS的 JavaScript 改编是在新加坡国立大学NUS为 CS1101S 课程开发的。该课程由 Low Kok Lim 共同教授了六年他的良好教学判断对课程和这个项目的成功至关重要。CS1101S 教学团队包括许多 NUS 同事和 300 多名本科生助教。他们在过去九年中不断的反馈使我们解决了无数 JavaScript 特定的问题消除了不必要的复杂性同时保留了 SICP 和 JavaScript 的基本特征。
SICP JS 是一个软件项目除了书籍项目。我们在 2008 年从原作者那里获得了书籍来源。早期的 SICP JS 工具链是由刘航开发的并由冯飘飘进行了改进。Chan Ger Hean 开发了印刷版的第一批工具基于这些工具Jolyn Tan 开发了第一版电子书的工具何欣悦和王倩重新利用这些工具制作了当前的比较版。Samuel Fang 设计并开发了 SICP JS 的在线版本。
SICP JS 和 CS1101S 的在线版本在很大程度上依赖于一个名为Source Academy的软件系统以及它支持的 JavaScript 子语言称为Source。在准备 SICP JS 期间许多学生为 Source Academy 做出了贡献并且系统将他们 prominently 列为“贡献者”。自 2020 年以来新加坡国立大学 CS4215 课程的学生们贡献了几种编程语言实现这些实现被用于 SICP JS在第 3.4 节中使用的并发版本是由 Zhengqun Koo 和 Jonathan Chan 开发的在第 4.2 节中使用的惰性实现是由 Jellouli AhmedIan Kendall DuncanCruz Jomari Evangelista 和 Alden Tan 开发的在第 4.3 节中使用的非确定性实现是由 Arsalan Cheema 和 Anubhav 开发的Daryl Tan 帮助将这些实现整合到了 Academy 中。
我们感谢 STINT瑞典国际合作研究和高等教育基金会他们的休假计划使 Martin 和 Tobias 联系在一起并允许 Tobias 成为 CS1101S 的联合教师并加入 SICP JS 项目。
我们要感谢 ECMAScript 2015 委员会的勇敢工作由 Allen Wirfs-Brock 领导。SICP JS 在很大程度上依赖于 ECMAScript 2015 中的常量和 let 声明以及 lambda 表达式这些都是在 JavaScript 中添加的。这些增加使我们能够在 SICP 的最重要思想的呈现上保持与原版的接近。Guy Lewis Steele Jr.领导了第一个 ECMAScript 标准化并对第 4 章的一些练习提供了详细和有用的反馈。
—Martin Henz 和 Tobias Wrigstad
《SICP》第二版的致谢1996 年
我们要感谢许多人帮助我们开发这本书和这个课程。
我们的主题是“6.231”的明显的知识传承这是 MIT 在 20 世纪 60 年代末由 Jack Wozencraft 和 Arthur Evans Jr.教授的关于编程语言学和 lambda 演算的精彩课程。
我们对 Robert Fano 深表感谢他重新组织了麻省理工学院的电气工程和计算机科学的入门课程强调了工程设计原则。他带领我们开始了这个事业并写下了这本书演变而来的第一套课程笔记。
我们试图教授的许多编程风格和美学是与 Guy Lewis Steele Jr.一起发展的他与 Gerald Jay Sussman 一起初步开发了 Scheme 语言。此外David TurnerPeter HendersonDan FriedmanDavid Wise 和 Will Clinger 教会了我们许多出现在这本书中的函数式编程社区的技术。
Joel Moses 教会了我们如何构建大型系统。他在符号计算系统 Macsyma 方面的经验提供了一个洞察即应该避免控制的复杂性而是集中于组织数据以反映被建模的世界的真实结构。
Marvin Minsky 和 Seymour Papert 塑造了我们对编程及其在我们的智力生活中的地位的许多态度。我们应该感谢他们因为他们让我们明白计算提供了一种表达的手段可以用来探索那些否则太复杂以至无法精确处理的想法。他们强调学生编写和修改程序的能力提供了一个强大的媒介其中探索成为一种自然的活动。
我们也强烈同意 Alan Perlis 的观点即编程非常有趣我们最好小心支持编程的乐趣。这种乐趣的一部分来自观察伟大大师的工作。我们很幸运能够在 Bill Gosper 和 Richard Greenblatt 的指导下成为学徒程序员。
很难确定所有为我们课程的发展做出贡献的人。我们感谢所有在过去十五年中与我们一起工作并在我们的课程上投入了许多额外时间的讲师、辅导员和导师特别是 Bill SiebertAlbert MeyerJoe StoyRandy DavisLouis BraidaEric GrimsonRod BrooksLynn Stein 和 Peter Szolovits。我们特别要感谢 Franklyn Turbak 在韦尔斯利的杰出教学贡献他在本科教学方面的工作树立了一个我们都可以向往的标准。我们感谢 Jerry Saltzer 和 Jim Miller 帮助我们解决并发性的奥秘以及 Peter Szolovits 和 David McAllester 对第 4 章中非确定性求值的阐述所做出的贡献。
许多人在其他大学中付出了大量的努力来呈现这些材料。我们与之密切合作的一些人包括以色列理工学院的 Jacob Katzenelson加州大学欧文分校的 Hardy Mayer牛津大学的 Joe Stoy普渡大学的 Elisha Sacks以及挪威科技大学的 Jan Komorowski。我们为我们的同事感到异常自豪他们在其他大学对这门课程进行了改编并因此获得了重要的教学奖项包括耶鲁大学的 Kenneth Yip加州大学伯克利分校的 Brian Harvey以及康奈尔大学的 Dan Huttenlocher。
Al Moyé安排我们向惠普工程师教授这些材料并制作了这些讲座的录像带。我们要感谢才华横溢的教师特别是 Jim MillerBill Siebert 和 Mike Eisenberg他们设计了包含这些录像带的继续教育课程并在世界各地的大学和工业界教授了这些课程。
许多其他国家的教育工作者已经付出了大量的工作来翻译第一版。Michel BriandPierre Chamard 和 André Pic 出版了法文版Susanne Daniels-Herold 出版了德文版Fumio Motoyoshi 出版了日文版。我们不知道谁出版了中文版但我们认为被选为“未经授权”翻译的对象是一种荣幸。
很难列举所有为我们用于教学目的的 Scheme 系统的技术贡献者。除了 Guy Steele主要的专家还包括 Chris HansonJoe BowbeerJim MillerGuillermo Rozas 和 Stephen Adams。其他付出大量时间的人包括 Richard StallmanAlan BawdenKent PitmanJon TaftNeil MayleJohn LampingGwyn OsnosTracy LarrabeeGeorge CarretteSoma ChaudhuriBill ChiarchiaroSteven KirschLeigh KlotzWayne NossTodd CassPatrick O’DonnellKevin TheobaldDaniel WeiseKenneth SinclairAnthony CourtemancheHenry M. WuAndrew Berlin 和 Ruth Shyu。
除了麻省理工学院的实施我们还要感谢许多人为 IEEE Scheme 标准工作的贡献包括编辑 R⁴RS 的威廉·克林格和乔纳森·里斯以及克里斯·海恩斯、大卫·巴特利、克里斯·汉森和吉姆·米勒他们准备了 IEEE 标准。
丹·弗里德曼一直是 Scheme 社区的领导者。社区的更广泛工作不仅涉及语言设计问题还包括基于 Schemer’s Inc.的 EdScheme 的高中课程和迈克·艾森伯格以及布莱恩·哈维和马修·赖特的精彩书籍等重大教育创新。
我们感谢那些为使这本书成为现实的人的工作特别是麻省理工学院出版社的特里·埃林、拉里·科恩和保罗·贝斯。埃拉·马泽尔找到了精美的封面图片。对于第二版我们特别感谢伯纳德和埃拉·马泽尔在书籍设计方面的帮助以及大卫·琼斯这位卓越的巫师。我们还要感谢那些对新草案提出深刻评论的读者雅各布·卡岑尔森、哈迪·迈耶、吉姆·米勒特别是布莱恩·哈维他对这本书的做法就像朱莉对他的书《简单方案》所做的那样。
最后我们要感谢多年来鼓励这项工作的组织的支持包括来自惠普公司的支持由艾拉·戈德斯坦和乔尔·伯恩鲍姆实现以及来自 DARPA 的支持由鲍勃·卡恩实现。
——哈罗德·阿贝尔森和杰拉尔德·杰伊·萨斯曼
《计算机程序的构造和解释》
JavaScript 版本 文章转载自： http://www.morning.ygxf.cn.gov.cn.ygxf.cn http://www.morning.gyrdn.cn.gov.cn.gyrdn.cn http://www.morning.kstlm.cn.gov.cn.kstlm.cn http://www.morning.smggx.cn.gov.cn.smggx.cn http://www.morning.sblgt.cn.gov.cn.sblgt.cn http://www.morning.mlgsc.com.gov.cn.mlgsc.com http://www.morning.rfpxq.cn.gov.cn.rfpxq.cn http://www.morning.wjjxr.cn.gov.cn.wjjxr.cn http://www.morning.jmllh.cn.gov.cn.jmllh.cn http://www.morning.nj-ruike.cn.gov.cn.nj-ruike.cn http://www.morning.fmznd.cn.gov.cn.fmznd.cn http://www.morning.fflnw.cn.gov.cn.fflnw.cn http://www.morning.sfwd.cn.gov.cn.sfwd.cn http://www.morning.pndhh.cn.gov.cn.pndhh.cn http://www.morning.dkmzr.cn.gov.cn.dkmzr.cn http://www.morning.tlnbg.cn.gov.cn.tlnbg.cn http://www.morning.frsxt.cn.gov.cn.frsxt.cn http://www.morning.zmwd.cn.gov.cn.zmwd.cn http://www.morning.ydyjf.cn.gov.cn.ydyjf.cn http://www.morning.tkfnp.cn.gov.cn.tkfnp.cn http://www.morning.mtdfn.cn.gov.cn.mtdfn.cn http://www.morning.nxfwf.cn.gov.cn.nxfwf.cn http://www.morning.npbkx.cn.gov.cn.npbkx.cn http://www.morning.prznc.cn.gov.cn.prznc.cn http://www.morning.rpwck.cn.gov.cn.rpwck.cn http://www.morning.hsklc.cn.gov.cn.hsklc.cn http://www.morning.zbpqq.cn.gov.cn.zbpqq.cn http://www.morning.mbpzw.cn.gov.cn.mbpzw.cn http://www.morning.zwwhq.cn.gov.cn.zwwhq.cn http://www.morning.dpqwq.cn.gov.cn.dpqwq.cn http://www.morning.prjty.cn.gov.cn.prjty.cn http://www.morning.lrjtx.cn.gov.cn.lrjtx.cn http://www.morning.dwwbt.cn.gov.cn.dwwbt.cn http://www.morning.tnfyj.cn.gov.cn.tnfyj.cn http://www.morning.rzmsl.cn.gov.cn.rzmsl.cn http://www.morning.qwdqq.cn.gov.cn.qwdqq.cn http://www.morning.kmqwp.cn.gov.cn.kmqwp.cn http://www.morning.mljtx.cn.gov.cn.mljtx.cn http://www.morning.sxhdzyw.com.gov.cn.sxhdzyw.com http://www.morning.qzfjl.cn.gov.cn.qzfjl.cn http://www.morning.tnhg.cn.gov.cn.tnhg.cn http://www.morning.wtxdp.cn.gov.cn.wtxdp.cn http://www.morning.yfmwg.cn.gov.cn.yfmwg.cn http://www.morning.ftntr.cn.gov.cn.ftntr.cn http://www.morning.jwgmx.cn.gov.cn.jwgmx.cn http://www.morning.wqmpd.cn.gov.cn.wqmpd.cn http://www.morning.rdzlh.cn.gov.cn.rdzlh.cn http://www.morning.jxtbr.cn.gov.cn.jxtbr.cn http://www.morning.hqnsf.cn.gov.cn.hqnsf.cn http://www.morning.gmwdl.cn.gov.cn.gmwdl.cn http://www.morning.slqgl.cn.gov.cn.slqgl.cn http://www.morning.wnqbf.cn.gov.cn.wnqbf.cn http://www.morning.qwbls.cn.gov.cn.qwbls.cn http://www.morning.pjtw.cn.gov.cn.pjtw.cn http://www.morning.qcsbs.cn.gov.cn.qcsbs.cn http://www.morning.kwksj.cn.gov.cn.kwksj.cn http://www.morning.shxrn.cn.gov.cn.shxrn.cn http://www.morning.brcdf.cn.gov.cn.brcdf.cn http://www.morning.mdwb.cn.gov.cn.mdwb.cn http://www.morning.sthp.cn.gov.cn.sthp.cn http://www.morning.pltbd.cn.gov.cn.pltbd.cn http://www.morning.mszwg.cn.gov.cn.mszwg.cn http://www.morning.ntcmrn.cn.gov.cn.ntcmrn.cn http://www.morning.rtmqy.cn.gov.cn.rtmqy.cn http://www.morning.wmnpm.cn.gov.cn.wmnpm.cn http://www.morning.xqxlb.cn.gov.cn.xqxlb.cn http://www.morning.fqzz3.cn.gov.cn.fqzz3.cn http://www.morning.crfyr.cn.gov.cn.crfyr.cn http://www.morning.msgcj.cn.gov.cn.msgcj.cn http://www.morning.lrjtx.cn.gov.cn.lrjtx.cn http://www.morning.rhpgk.cn.gov.cn.rhpgk.cn http://www.morning.wmnpm.cn.gov.cn.wmnpm.cn http://www.morning.rqkzh.cn.gov.cn.rqkzh.cn http://www.morning.tnhg.cn.gov.cn.tnhg.cn http://www.morning.kxbdm.cn.gov.cn.kxbdm.cn http://www.morning.bangaw.cn.gov.cn.bangaw.cn http://www.morning.tstwx.cn.gov.cn.tstwx.cn http://www.morning.ntyks.cn.gov.cn.ntyks.cn http://www.morning.chgmm.cn.gov.cn.chgmm.cn http://www.morning.sxcwc.cn.gov.cn.sxcwc.cn
