当顺序员们议论各类编程言语的相对优势时，他们通常会采用相当平淡的措词，就似乎这些言语是一条工具带上的各种工具似的 —— 有适宜写操作系统的，也有适宜把其它顺序黏在一同来完成特殊任务的。这种讨论方式十分合理；不同言语的才能不同。不声明特定用途就宣称某门言语比其他言语更优秀只能招致欺侮性的无用争论。

但有一门言语似乎遭到和用途有关的特殊尊崇：那就是 Lisp。即使是恨不得给每个说出形如“某某言语比其他一切言语都好”这类话的人都来一拳的键盘远征军们，也会供认 Lisp 处于另一个层次。 Lisp 超越了用于评判其他言语的适用主义标准，由于普通顺序员并不运用 Lisp 编写适用的顺序 —— 而且，多半他们永远也不会这么做。但是，人们对 Lisp 的敬意是如此深沉，甚至于到了这门言语会时而被加上神话属性的水平。

大家都喜欢的网络漫画合集 xkcd 就至少在两组漫画中如此描画过 Lisp：其中一组漫画中，某人失掉了某种 Lisp 启示，而这似乎使他了解了宇宙的基本构架。

在另一组漫画中，一个穿着长袍的老顺序员给他的徒弟递了一沓圆括号，说这是“文明时代的优雅武器”，暗示着 Lisp 就像原力那样拥有各式各样的奥秘力气。

另一个绝佳例子是 Bob Kanefsky 的诙谐剧插曲，《上帝就在人世》。这部剧叫做《永久之火》，撰写于 1990 年代中期；剧中描画了上帝必然是运用 Lisp 发明世界的种种缘由。残缺的歌词可以在 GNU 幽默合集中找到，如下是一段摘抄：

由于上帝用祂的 Lisp 代码

让树叶充溢绿意。

分形的花儿和递归的根：

我见过的奇技淫巧之中没什么比这更心爱。

当我对着雪花沉思时，

从未见过两片相反的，

我知道，上帝偏爱那一门

名字是四个字母的言语。

以下这句话我真实不好在人前说；不过，我还是觉得，这样一种 “Lisp 是奥术魔法”的文明模因真实是有史以来最奇特、最诱人的东西。Lisp 是象牙塔的产物，是人工智能研讨的工具；因此，它关于编程界的俗人而言总是生疏的，甚至是带有奥秘颜色的。但是，当今的顺序员们末尾煽动彼此，“在你死掉之前至少试一试 Lisp”，就像这是一种令人恍惚入迷的致幻剂似的。虽然 Lisp 是普遍运用的编程言语中第二陈旧的（只比 Fortran 年轻一岁），顺序员们也依旧在相互煽动。想象一下，假设你的任务是为某种组织或许团队推行一门新的编程言语的话，忽悠大家让他们置信你的新言语拥有神力难道不是绝佳的策略吗？—— 但你如何可以做到这一点呢？或许，换句话说，一门编程言语终究是如何变成人们口中“隐晦知识的载体”的呢？

Lisp 终究是怎样成为这样的？

Byte 杂志封面，1979年八月。

实际 A ：公理般的言语

Lisp 的发明者约翰·麦卡锡（John McCarthy）最后并没有想过把 Lisp 做成优雅、精炼的计算规律结晶。但是，在一两次运气使然的深谋远虑和一系列优化之后，Lisp 确实变成了那样的东西。 保罗·格雷厄姆Paul Graham（我们一会儿之后才会聊到他）曾经这么写道， 麦卡锡经过 Lisp “为编程作出的贡献就像是欧几里得对几何学所做的贡献普通”。人们能够会在 Lisp 中看出愈加隐晦的含义 —— 由于麦卡锡发明 Lisp 时运用的要素真实是过于基础，基础到连弄明白他究竟是发明了这门言语、还是发现了这门言语，都是一件难事。

最后， 麦卡锡产生要造一门言语的想法，是在 1956 年的达特茅斯人工智能夏季研讨项目（Darthmouth Summer Research Project on Artificial Intelligence）上。夏季研讨项目是个继续数周的学术会议，直到如今也依旧在举行；它是此类会议之中最早末尾举行的会议之一。 麦卡锡现在还是个达特茅斯的数学助教，而“人工智能artificial intelligence（AI）”这个词理想上就是他建议举行该会议时发明的。在整个会议时期大约有十人参加。他们之中包括了艾伦·纽厄尔（Allen Newell）和赫伯特·西蒙（Herbert Simon），两名附属于兰德公司（RAND Corporation）和卡内基梅隆大学（Carnegie Mellon）的学者。这两人不久之前设计了一门言语，叫做 IPL。

事先，纽厄尔和西蒙正试图制造一套可以在命题演算中生成证明的系统。两人看法到，用电脑的原生指令集编写这套系统会十分困难；于是他们决议发明一门言语——他们的原话是“伪代码”（pseudo-code），这样，他们就能愈加轻松自然地表达这台“逻辑实际机器”（Logic Theory Machine）的底层逻辑了。这门言语叫做 IPL，即“信息处置言语”（Information Processing Language）；比起我们如今认知中的编程言语，它更像是一种高层次的汇编言语方言。 纽厄尔和西蒙提到，事先人们开发的其它“伪代码”都抓着标准数学符号不放 —— 也许他们指的是 Fortran；与此不同的是，他们的言语运用成组的符号方程来表示命题演算中的语句。通常，用 IPL 写出来的顺序会调用一系列的汇编言语宏，以此在这些符号方程列表中对表达式停止变换和求值。

麦卡锡以为，一门适用的编程言语应该像 Fortran 那样运用代数表达式；因此，他并不怎样喜欢 IPL。但是，他也以为，在给人工智能范围的一些成绩建模时，符号列表会是十分好用的工具 —— 而且在那些触及归结的成绩上尤其有用。麦卡锡的盼望最终被诉诸举动；他要发明一门代数的列表处置言语 —— 这门言语会像 Fortran 一样运用代数表达式，但拥有和 IPL 一样的符号列表处置才能。

(责任编辑：admin)