当然，昔日的 Lisp 可不像 Fortran。在会议之后的几年中，麦卡锡关于“理想的列表处置言语”的见地似乎在逐渐演化。到 1957 年，他的想法发作了改动。他那时分正在用 Fortran 编写一个能下国际象棋的顺序；越是长时间地运用 Fortran ，麦卡锡就越确信其设计中存在不当之处，而最大的成绩就是为难的 IF 声明。为此，他发明了一个替代品，即条件表达式 true；这个表达式会在给定的测试经过时前往子表达式 A ，而在测试未经过时前往子表达式 B ，而且，它只会对前往的子表达式停止求值。在 1958 年夏天，当麦卡锡设计一个可以求导的顺序时，他看法到，他发明的 true 条件表达式让编写递归函数这件事故得愈加复杂自然了。也是这个求导成绩让麦卡锡发明了 maplist 函数；这个函数会将其它函数作为参数并将之作用于指定列表的一切元素。在给项数多得叫人抓狂的多项式求导时，它尤其有用。

但是，以上的一切这些，在 Fortran 中都是没有的；因此，在 1958 年的秋天，麦卡锡请来了一群先生来完成 Lisp。由于他那时曾经成了一名麻省理工助教，所以，这些先生可都是麻省理工的先生。当麦卡锡和先生们最终将他的主意变为能运转的代码时，这门言语失掉了进一步的简化。这之中最大的改动触及了 Lisp 的语法本身。最后，麦卡锡在设计言语时，曾经试图参加所谓的 “M 表达式”；这是一层语法糖，能让 Lisp 的语法变得相似于 Fortran。虽然 M 表达式可以被翻译为 S 表达式 —— 基础的、“用圆括号括起来的列表”，也就是 Lisp 最著名的特征 —— 但 S 表达式理想上是一种给机器看的低阶表达办法。独一的成绩是，麦卡锡用方括号标记 M 表达式，但他的团队在麻省理工运用的 IBM 026 键盘打孔机的键盘上基本没有方括号。于是 Lisp 团队锲而不舍地运用着 S 表达式，不只用它们表示数据列表，也拿它们来表达函数的运用。麦卡锡和他的先生们还作了另外几样改良，包括将数学符号前置；他们也修正了内存模型，这样 Lisp 本质上就只要一种数据类型了。

到 1960 年，麦卡锡宣布了他关于 Lisp 的著名论文，《用符号方程表示的递归函数及它们的机器计算》。那时分，Lisp 曾经被极大地精简，而这让麦卡锡看法到，他的作品其实是“一套优雅的数学系统”，而非普通的编程言语。他后来这么写道，对 Lisp 的许多简化使其“成了一种描画可计算函数的方式，而且它比图灵机或许普通状况下用于递归函数实际的递归定义愈加繁复”。在他的论文中，他不只运用 Lisp 作为编程言语，也将它当作一套用于研讨递归函数行为方式的表达办法。

经过“从一小撮规则中逐渐完成出 Lisp”的方式，麦卡锡将这门言语引见给了他的读者。后来，保罗·格雷厄姆在短文《Lisp 之根》（The Roots of Lisp）中用更易读的言语回忆了麦卡锡的步骤。格雷厄姆只用了七种原始运算符、两种函数写法，以及运用原始运算符定义的六个稍微初级一点的函数来解释 Lisp。毫无疑问，Lisp 的这种只需运用极大批的基本规则就能残缺阐明的特点加深了其奥秘颜色。格雷厄姆称麦卡锡的论文为“使计算公理化”的一种尝试。我以为，在思索 Lisp 的魅力从何而来时，这是一个极好的切入点。其它编程言语都有清楚的人工结构痕迹，表现为 While，typedef，public static void 这样的关键词；而 Lisp 的设计却简直像是地道计算逻辑的巧夺天工。Lisp 的这一性质，以及它和流畅难懂的“递归函数实际”的亲密关系，使它具有了取得如今声望的充沛理由。

实际 B：属于未来的机器

Lisp 降生二十年后，它成了著名的《黑客词典》（Hacker’s Dictionary）中所说的，人工智能研讨的“母语”。Lisp 在此之前传达迅速，多半是托了语法规律的福 —— 不管在怎样样的电脑上，完成 Lisp 都是一件相对复杂直白的事。而学者们之后坚持运用它乃是由于 Lisp 在处置符号表达式这方面有庞大的优势；在那个时代，人工智能很大水平上就意味着符号，于是这一点就显得十分重要。在许多重要的人工智能项目中都能见到 Lisp 的身影。这些项目包括了 SHRDLU 自然言语顺序、Macsyma 代数系统和 ACL2 逻辑系统。

但是，在 1970 年代中期，人工智能研讨者们的电脑算力末尾不够用了。PDP-10 就是一个典型。这个型号在人工智能学界曾经极受欢迎；但面对这些用 Lisp 写的 AI 顺序，它的 18 位地址空间一天比一天显得吃紧。许多的 AI 顺序在设计上可以与人互动。要让这些既极度要求硬件功用、又有互动功用的顺序在分时系统上优秀发扬，是很有应战性的。麻省理工的彼得·杜奇（Peter Deutsch）给出了处置方案：那就是针对 Lisp 顺序来特别设计电脑。就像是我那关于 Chaosnet 的上一篇文章所说的那样，这些 Lisp 计算机（Lisp machines）会给每个用户都专门分配一个为 Lisp 特别优化的处置器。到后来，思索到硬核 Lisp 顺序员的需求，这些计算机甚至还装备上了完全由 Lisp 编写的开发环境。在事先那样一个小型机时代已至序幕而微型机的繁盛尚未完全到来的为难时期，Lisp 计算机就是编程精英们的“高功用团体电脑”。

有那么一会儿，Lisp 计算机被当成是未来趋向。好几家公司雨后春笋般出现，追着赶着要把这项技术商业化。其中最成功的一家叫做 Symbolics，由麻省理工 AI 实验室的前成员创立。上世纪八十年代，这家公司消费了所谓的 3600 系列计算机，它们事先在 AI 范围和需求高功用计算的产业中运用极广。3600 系列装备了大屏幕、位图显示、鼠标接口，以及弱小的图形与动画软件。它们都是惊人的机器，能让惊人的顺序运转起来。例如，之前在推特上跟我聊过的机器人研讨者 Bob Culley，就能用一台 1985 年消费的 Symbolics 3650 写出带有图形演示的寻路算法。他向我解释说，在 1980 年代，位图显示和面向对象编程（可以经过 Flavors 扩展在 Lisp 计算机上运用）都刚刚出现。Symbolics 站在时代的最前沿。

Bob Culley 的寻路顺序

(责任编辑：admin)