編譯自：https://twobithistory.org/2018/10/14/lisp.html 作者： Two-bit History

當(dāng)程序員們談?wù)摳黝惥幊陶Z言的相對優(yōu)勢時，他們通常會采用相當(dāng)平淡的措詞，就好像這些語言是一條工具帶上的各種工具似的 —— 有適合寫操作系統(tǒng)的，也有適合把其它程序黏在一起來完成特殊工作的。這種討論方式非常合理；不同語言的能力不同。不聲明特定用途就聲稱某門語言比其他語言更優(yōu)秀只能導(dǎo)致侮辱性的無用爭論。

但有一門語言似乎受到和用途無關(guān)的特殊尊敬：那就是 Lisp。即使是恨不得給每個說出形如“某某語言比其他所有語言都好”這類話的人都來一拳的鍵盤遠征軍們，也會承認 Lisp 處于另一個層次。 Lisp 超越了用于評判其他語言的實用主義標準，因為普通程序員并不使用 Lisp 編寫實用的程序 —— 而且，多半他們永遠也不會這么做。然而，人們對 Lisp 的敬意是如此深厚，甚至于到了這門語言會時而被加上神話屬性的程度。

大家都喜歡的網(wǎng)絡(luò)漫畫合集 xkcd 就至少在兩組漫畫中如此描繪過 Lisp：其中一組漫畫中，某人得到了某種 Lisp 啟示，而這好像使他理解了宇宙的基本構(gòu)架。

在另一組漫畫中，一個穿著長袍的老程序員給他的徒弟遞了一沓圓括號，說這是“文明時代的優(yōu)雅武器”，暗示著 Lisp 就像原力那樣擁有各式各樣的神秘力量。

另一個絕佳例子是 Bob Kanefsky 的滑稽劇插曲，《上帝就在人間》。這部劇叫做《永恒之火》，撰寫于 1990 年代中期；劇中描述了上帝必然是使用 Lisp 創(chuàng)造世界的種種原因。完整的歌詞可以在 GNU 幽默合集中找到，如下是一段摘抄：

因為上帝用祂的 Lisp 代碼

讓樹葉充滿綠意。

分形的花兒和遞歸的根：

我見過的奇技淫巧之中沒什么比這更可愛。

當(dāng)我對著雪花深思時，

從未見過兩片相同的，

我知道，上帝偏愛那一門

名字是四個字母的語言。

以下這句話我實在不好在人前說；不過，我還是覺得，這樣一種 “Lisp 是奧術(shù)魔法”的文化模因?qū)嵲谑怯惺芬詠碜钇娈悺⒆蠲匀说臇|西。Lisp 是象牙塔的產(chǎn)物，是人工智能研究的工具；因此，它對于編程界的俗人而言總是陌生的，甚至是帶有神秘色彩的。然而，當(dāng)今的程序員們開始慫恿彼此，“在你死掉之前至少試一試 Lisp”，就像這是一種令人恍惚入迷的致幻劑似的。盡管 Lisp 是廣泛使用的編程語言中第二古老的（只比 Fortran 年輕一歲），程序員們也仍舊在互相慫恿。想象一下，如果你的工作是為某種組織或者團隊推廣一門新的編程語言的話，忽悠大家讓他們相信你的新語言擁有神力難道不是絕佳的策略嗎？—— 但你如何能夠做到這一點呢？或者，換句話說，一門編程語言究竟是如何變成人們口中“隱晦知識的載體”的呢？

Lisp 究竟是怎么成為這樣的？

Byte 雜志封面，1979年八月。

理論 A ：公理般的語言

Lisp 的創(chuàng)造者約翰·麥卡錫（John McCarthy）最初并沒有想過把 Lisp 做成優(yōu)雅、精煉的計算法則結(jié)晶。然而，在一兩次運氣使然的深謀遠慮和一系列優(yōu)化之后，Lisp 的確變成了那樣的東西。 保羅·格雷厄姆Paul Graham（我們一會兒之后才會聊到他）曾經(jīng)這么寫道， 麥卡錫通過 Lisp “為編程作出的貢獻就像是歐幾里得對幾何學(xué)所做的貢獻一般”。人們可能會在 Lisp 中看出更加隱晦的含義 —— 因為麥卡錫創(chuàng)造 Lisp 時使用的要素實在是過于基礎(chǔ)，基礎(chǔ)到連弄明白他到底是創(chuàng)造了這門語言、還是發(fā)現(xiàn)了這門語言，都是一件難事。

最初， 麥卡錫產(chǎn)生要造一門語言的想法，是在 1956 年的達特茅斯人工智能夏季研究項目（Darthmouth Summer Research Project on Artificial Intelligence）上。夏季研究項目是個持續(xù)數(shù)周的學(xué)術(shù)會議，直到現(xiàn)在也仍舊在舉行；它是此類會議之中最早開始舉辦的會議之一。 麥卡錫當(dāng)初還是個達特茅斯的數(shù)學(xué)助教，而“人工智能artificial intelligence（AI）”這個詞事實上就是他建議舉辦該會議時發(fā)明的。在整個會議期間大概有十人參加。他們之中包括了艾倫·紐厄爾（Allen Newell）和赫伯特·西蒙（Herbert Simon），兩名隸屬于蘭德公司（RAND Corporation）和卡內(nèi)基梅隆大學(xué)（Carnegie Mellon）的學(xué)者。這兩人不久之前設(shè)計了一門語言，叫做 IPL。

當(dāng)時，紐厄爾和西蒙正試圖制作一套能夠在命題演算中生成證明的系統(tǒng)。兩人意識到，用電腦的原生指令集編寫這套系統(tǒng)會非常困難；于是他們決定創(chuàng)造一門語言——他們的原話是“偽代碼”（pseudo-code），這樣，他們就能更加輕松自然地表達這臺“邏輯理論機器”（Logic Theory Machine）的底層邏輯了。這門語言叫做 IPL，即“信息處理語言”（Information Processing Language）；比起我們現(xiàn)在認知中的編程語言，它更像是一種高層次的匯編語言方言。 紐厄爾和西蒙提到，當(dāng)時人們開發(fā)的其它“偽代碼”都抓著標準數(shù)學(xué)符號不放 —— 也許他們指的是 Fortran；與此不同的是，他們的語言使用成組的符號方程來表示命題演算中的語句。通常，用 IPL 寫出來的程序會調(diào)用一系列的匯編語言宏，以此在這些符號方程列表中對表達式進行變換和求值。

麥卡錫認為，一門實用的編程語言應(yīng)該像 Fortran 那樣使用代數(shù)表達式；因此，他并不怎么喜歡 IPL。然而，他也認為，在給人工智能領(lǐng)域的一些問題建模時，符號列表會是非常好用的工具 —— 而且在那些涉及演繹的問題上尤其有用。麥卡錫的渴望最終被訴諸行動；他要創(chuàng)造一門代數(shù)的列表處理語言 —— 這門語言會像 Fortran 一樣使用代數(shù)表達式，但擁有和 IPL 一樣的符號列表處理能力。

當(dāng)然，今日的 Lisp 可不像 Fortran。在會議之后的幾年中，麥卡錫關(guān)于“理想的列表處理語言”的見解似乎在逐漸演化。到 1957 年，他的想法發(fā)生了改變。他那時候正在用 Fortran 編寫一個能下國際象棋的程序；越是長時間地使用 Fortran ，麥卡錫就越確信其設(shè)計中存在不當(dāng)之處，而最大的問題就是尷尬的 IF 聲明。為此，他發(fā)明了一個替代品，即條件表達式 true；這個表達式會在給定的測試通過時返回子表達式 A ，而在測試未通過時返回子表達式 B ，而且，它只會對返回的子表達式進行求值。在 1958 年夏天，當(dāng)麥卡錫設(shè)計一個能夠求導(dǎo)的程序時，他意識到，他發(fā)明的 true 條件表達式讓編寫遞歸函數(shù)這件事變得更加簡單自然了。也是這個求導(dǎo)問題讓麥卡錫創(chuàng)造了 maplist 函數(shù)；這個函數(shù)會將其它函數(shù)作為參數(shù)并將之作用于指定列表的所有元素。在給項數(shù)多得叫人抓狂的多項式求導(dǎo)時，它尤其有用。

然而，以上的所有這些，在 Fortran 中都是沒有的；因此，在 1958 年的秋天，麥卡錫請來了一群學(xué)生來實現(xiàn) Lisp。因為他那時已經(jīng)成了一名麻省理工助教，所以，這些學(xué)生可都是麻省理工的學(xué)生。當(dāng)麥卡錫和學(xué)生們最終將他的主意變?yōu)槟苓\行的代碼時，這門語言得到了進一步的簡化。這之中最大的改變涉及了 Lisp 的語法本身。最初，麥卡錫在設(shè)計語言時，曾經(jīng)試圖加入所謂的 “M 表達式”；這是一層語法糖，能讓 Lisp 的語法變得類似于 Fortran。雖然 M 表達式可以被翻譯為 S 表達式 —— 基礎(chǔ)的、“用圓括號括起來的列表”，也就是 Lisp 最著名的特征 —— 但 S 表達式事實上是一種給機器看的低階表達方法。唯一的問題是，麥卡錫用方括號標記 M 表達式，但他的團隊在麻省理工使用的 IBM 026 鍵盤打孔機的鍵盤上根本沒有方括號。于是 Lisp 團隊堅定不移地使用著 S 表達式，不僅用它們表示數(shù)據(jù)列表，也拿它們來表達函數(shù)的應(yīng)用。麥卡錫和他的學(xué)生們還作了另外幾樣改進，包括將數(shù)學(xué)符號前置；他們也修改了內(nèi)存模型，這樣 Lisp 實質(zhì)上就只有一種數(shù)據(jù)類型了。

到 1960 年，麥卡錫發(fā)表了他關(guān)于 Lisp 的著名論文，《用符號方程表示的遞歸函數(shù)及它們的機器計算》。那時候，Lisp 已經(jīng)被極大地精簡，而這讓麥卡錫意識到，他的作品其實是“一套優(yōu)雅的數(shù)學(xué)系統(tǒng)”，而非普通的編程語言。他后來這么寫道，對 Lisp 的許多簡化使其“成了一種描述可計算函數(shù)的方式，而且它比圖靈機或者一般情況下用于遞歸函數(shù)理論的遞歸定義更加簡潔”。在他的論文中，他不僅使用 Lisp 作為編程語言，也將它當(dāng)作一套用于研究遞歸函數(shù)行為方式的表達方法。

通過“從一小撮規(guī)則中逐步實現(xiàn)出 Lisp”的方式，麥卡錫將這門語言介紹給了他的讀者。后來，保羅·格雷厄姆在短文《Lisp 之根》（The Roots of Lisp）中用更易讀的語言回顧了麥卡錫的步驟。格雷厄姆只用了七種原始運算符、兩種函數(shù)寫法，以及使用原始運算符定義的六個稍微高級一點的函數(shù)來解釋 Lisp。毫無疑問，Lisp 的這種只需使用極少量的基本規(guī)則就能完整說明的特點加深了其神秘色彩。格雷厄姆稱麥卡錫的論文為“使計算公理化”的一種嘗試。我認為，在思考 Lisp 的魅力從何而來時，這是一個極好的切入點。其它編程語言都有明顯的人工構(gòu)造痕跡，表現(xiàn)為 While，typedef，public static void 這樣的關(guān)鍵詞；而 Lisp 的設(shè)計卻簡直像是純粹計算邏輯的鬼斧神工。Lisp 的這一性質(zhì)，以及它和晦澀難懂的“遞歸函數(shù)理論”的密切關(guān)系，使它具備了獲得如今聲望的充分理由。

理論 B：屬于未來的機器

Lisp 誕生二十年后，它成了著名的《黑客詞典》（Hacker’s Dictionary）中所說的，人工智能研究的“母語”。Lisp 在此之前傳播迅速，多半是托了語法規(guī)律的福 —— 不管在怎么樣的電腦上，實現(xiàn) Lisp 都是一件相對簡單直白的事。而學(xué)者們之后堅持使用它乃是因為 Lisp 在處理符號表達式這方面有巨大的優(yōu)勢；在那個時代，人工智能很大程度上就意味著符號，于是這一點就顯得十分重要。在許多重要的人工智能項目中都能見到 Lisp 的身影。這些項目包括了 SHRDLU 自然語言程序、Macsyma 代數(shù)系統(tǒng)和 ACL2 邏輯系統(tǒng)。

然而，在 1970 年代中期，人工智能研究者們的電腦算力開始不夠用了。PDP-10 就是一個典型。這個型號在人工智能學(xué)界曾經(jīng)極受歡迎；但面對這些用 Lisp 寫的 AI 程序，它的 18 位地址空間一天比一天顯得吃緊。許多的 AI 程序在設(shè)計上可以與人互動。要讓這些既極度要求硬件性能、又有互動功能的程序在分時系統(tǒng)上優(yōu)秀發(fā)揮，是很有挑戰(zhàn)性的。麻省理工的彼得·杜奇（Peter Deutsch）給出了解決方案：那就是針對 Lisp 程序來特別設(shè)計電腦。就像是我那關(guān)于 Chaosnet 的上一篇文章所說的那樣，這些 Lisp 計算機（Lisp machines）會給每個用戶都專門分配一個為 Lisp 特別優(yōu)化的處理器。到后來，考慮到硬核 Lisp 程序員的需求，這些計算機甚至還配備上了完全由 Lisp 編寫的開發(fā)環(huán)境。在當(dāng)時那樣一個小型機時代已至尾聲而微型機的繁盛尚未完全到來的尷尬時期，Lisp 計算機就是編程精英們的“高性能個人電腦”。

有那么一會兒，Lisp 計算機被當(dāng)成是未來趨勢。好幾家公司雨后春筍般出現(xiàn)，追著趕著要把這項技術(shù)商業(yè)化。其中最成功的一家叫做 Symbolics，由麻省理工 AI 實驗室的前成員創(chuàng)立。上世紀八十年代，這家公司生產(chǎn)了所謂的 3600 系列計算機，它們當(dāng)時在 AI 領(lǐng)域和需要高性能計算的產(chǎn)業(yè)中應(yīng)用極廣。3600 系列配備了大屏幕、位圖顯示、鼠標接口，以及強大的圖形與動畫軟件。它們都是驚人的機器，能讓驚人的程序運行起來。例如，之前在推特上跟我聊過的機器人研究者 Bob Culley，就能用一臺 1985 年生產(chǎn)的 Symbolics 3650 寫出帶有圖形演示的尋路算法。他向我解釋說，在 1980 年代，位圖顯示和面向?qū)ο缶幊蹋軌蛲ㄟ^ Flavors 擴展在 Lisp 計算機上使用）都剛剛出現(xiàn)。Symbolics 站在時代的最前沿。

Bob Culley 的尋路程序

而以上這一切導(dǎo)致 Symbolics 的計算機奇貴無比。在 1983 年，一臺 Symbolics 3600 能賣 111,000 美金。所以，絕大部分人只可能遠遠地贊嘆 Lisp 計算機的威力和操作員們用 Lisp 編寫程序的奇妙技術(shù)。不止他們贊嘆，從 1979 年到 1980 年代末，Byte 雜志曾經(jīng)多次提到過 Lisp 和 Lisp 計算機。在 1979 年八月發(fā)行的、關(guān)于 Lisp 的一期特別雜志中，雜志編輯激情洋溢地寫道，麻省理工正在開發(fā)的計算機配備了“大坨大坨的內(nèi)存”和“先進的操作系統(tǒng)”；他覺得，這些 Lisp 計算機的前途是如此光明，以至于它們的面世會讓 1978 和 1977 年 —— 誕生了 Apple II、Commodore PET 和 TRS-80 的兩年 —— 顯得黯淡無光。五年之后，在 1985 年，一名 Byte 雜志撰稿人描述了為“復(fù)雜精巧、性能強悍的 Symbolics 3670”編寫 Lisp 程序的體驗，并力勸讀者學(xué)習(xí) Lisp，稱其為“絕大數(shù)人工智能工作者的語言選擇”，和將來的通用編程語言。

我問過保羅·麥克瓊斯（Paul McJones，他在山景城的計算機歷史博物館做了許多 Lisp 的保護工作），人們是什么時候開始將 Lisp 當(dāng)作高維生物的贈禮一樣談?wù)摰哪兀克f，這門語言自有的性質(zhì)毋庸置疑地促進了這種現(xiàn)象的產(chǎn)生；然而，他也說，Lisp 上世紀六七十年代在人工智能領(lǐng)域得到的廣泛應(yīng)用，很有可能也起到了作用。當(dāng) 1980 年代到來、Lisp 計算機進入市場時，象牙塔外的某些人由此接觸到了 Lisp 的能力，于是傳說開始滋生。時至今日，很少有人還記得 Lisp 計算機和 Symbolics 公司；但 Lisp 得以在八十年代一直保持神秘，很大程度上要歸功于它們。

理論 C：學(xué)習(xí)編程

1985 年，兩位麻省理工的教授，哈爾·阿伯爾森（Harold Hal Abelson）和杰拉爾德·瑟斯曼（Gerald Sussman），外加瑟斯曼的妻子朱莉·瑟斯曼（Julie Sussman），出版了一本叫做《計算機程序的構(gòu)造和解釋》（Structure and Interpretation of Computer Programs）的教科書。這本書用 Scheme（一種 Lisp 方言）向讀者們示范了如何編程。它被用于教授麻省理工入門編程課程長達二十年之久。出于直覺，我認為 SICP（這本書的名字通常縮寫為 SICP）倍增了 Lisp 的“神秘要素”。SICP 使用 Lisp 描繪了深邃得幾乎可以稱之為哲學(xué)的編程理念。這些理念非常普適，可以用任意一種編程語言展現(xiàn)；但 SICP 的作者們選擇了 Lisp。結(jié)果，這本陰陽怪氣、卓越不凡、吸引了好幾代程序員（還成了一種奇特的模因的著作臭名遠揚之后，Lisp 的聲望也順帶被提升了。Lisp 已不僅僅是一如既往的“麥卡錫的優(yōu)雅表達方式”；它現(xiàn)在還成了“向你傳授編程的不傳之秘的語言”。

SICP 究竟有多奇怪這一點值得好好說；因為我認為，時至今日，這本書的古怪之處和 Lisp 的古怪之處是相輔相成的。書的封面就透著一股古怪。那上面畫著一位朝著桌子走去，準備要施法的巫師或者煉金術(shù)士。他的一只手里抓著一副測徑儀 —— 或者圓規(guī)，另一只手上拿著個球，上書“eval”和“apply”。他對面的女人指著桌子；在背景中，希臘字母 λ （lambda）漂浮在半空，釋放出光芒。

[[250026]]

SICP 封面上的畫作

說真的，這上面畫的究竟是怎么一回事？為什么桌子會長著動物的腿？為什么這個女人指著桌子？墨水瓶又是干什么用的？我們是不是該說，這位巫師已經(jīng)破譯了宇宙的隱藏奧秘，而所有這些奧秘就蘊含在 eval/apply 循環(huán)和 Lambda 微積分之中？看似就是如此。單單是這張圖片，就一定對人們?nèi)缃裾務(wù)?Lisp 的方式產(chǎn)生了難以計量的影響。

然而，這本書的內(nèi)容通常并不比封面正常多少。SICP 跟你讀過的所有計算機科學(xué)教科書都不同。在引言中，作者們表示，這本書不只教你怎么用 Lisp 編程 —— 它是關(guān)于“現(xiàn)象的三個焦點：人的心智、復(fù)數(shù)的計算機程序，和計算機”的作品。在之后，他們對此進行了解釋，描述了他們對如下觀點的堅信：編程不該被當(dāng)作是一種計算機科學(xué)的訓(xùn)練，而應(yīng)該是“程序性認識論”（procedural epistemology）的一種新表達方式。程序是將那些偶然被送入計算機的思想組織起來的全新方法。這本書的第一章簡明地介紹了 Lisp，但是之后的絕大部分都在講述更加抽象的概念。其中包括了對不同編程范式的討論，對于面向?qū)ο笙到y(tǒng)中“時間”和“一致性”的討論；在書中的某一處，還有關(guān)于通信的基本限制可能會如何帶來同步問題的討論 —— 而這些基本限制在通信中就像是光速不變在相對論中一樣關(guān)鍵。都是些高深難懂的東西。

以上這些并不是說這是本糟糕的書；這本書其實棒極了。在我讀過的所有作品中，這本書對于重要的編程理念的討論是最為深刻的；那些理念我琢磨了很久，卻一直無力用文字去表達。一本入門編程教科書能如此迅速地開始描述面向?qū)ο缶幊痰母救毕荩秃瘮?shù)式語言“將可變狀態(tài)降到最少”的優(yōu)點，實在是一件讓人印象深刻的事。而這種描述之后變?yōu)榱肆硪环N震撼人心的討論：某種（可能類似于今日的 RxJS 的）流范式能如何同時具備兩者的優(yōu)秀特性。SICP 用和當(dāng)初麥卡錫的 Lisp 論文相似的方式提純出了高級程序設(shè)計的精華。你讀完這本書之后，會立即想要將它推薦給你的程序員朋友們；如果他們找到這本書，看到了封面，但最終沒有閱讀的話，他們就只會記住長著動物腿的桌子上方那神秘的、根本的、給予魔法師特殊能力的、寫著 eval/apply 的東西。話說回來，書上這兩人的鞋子也讓我印象頗深。

然而，SICP 最重要的影響恐怕是，它將 Lisp 由一門怪語言提升成了必要的教學(xué)工具。在 SICP 面世之前，人們互相推薦 Lisp，以學(xué)習(xí)這門語言為提升編程技巧的途徑。1979 年的 Byte 雜志 Lisp 特刊印證了這一事實。之前提到的那位編輯不僅就麻省理工的新 Lisp 計算機大書特書，還說，Lisp 這門語言值得一學(xué)，因為它“代表了分析問題的另一種視角”。但 SICP 并未只把 Lisp 作為其它語言的陪襯來使用；SICP 將其作為入門語言。這就暗含了一種論點，那就是，Lisp 是最能把握計算機編程基礎(chǔ)的語言。可以認為，如今的程序員們彼此慫恿“在死掉之前至少試試 Lisp”的時候，他們很大程度上是因為 SICP 才這么說的。畢竟，編程語言 Brainfuck 想必同樣也提供了“分析問題的另一種視角”；但人們學(xué)習(xí) Lisp 而非學(xué)習(xí) Brainfuck，那是因為他們知道，前者的那種 Lisp 視角在二十年中都被看作是極其有用的，有用到麻省理工在給他們的本科生教其它語言之前，必然會先教 Lisp。

Lisp 的回歸

在 SICP 出版的同一年，本賈尼·斯特勞斯特盧普（Bjarne Stroustrup）發(fā)布了 C++ 語言的首個版本，它將面向?qū)ο缶幊處У搅舜蟊娒媲啊啄曛螅琇isp 計算機的市場崩盤，AI 寒冬開始了。在下一個十年的變革中， C++ 和后來的 Java 成了前途無量的語言，而 Lisp 被冷落，無人問津。

理所當(dāng)然地，確定人們對 Lisp 重新燃起熱情的具體時間并不可能；但這多半是保羅·格雷厄姆發(fā)表他那幾篇聲稱 Lisp 是首選入門語言的短文之后的事了。保羅·格雷厄姆是 Y-Combinator 的聯(lián)合創(chuàng)始人和《Hacker News》的創(chuàng)始者，他這幾篇短文有很大的影響力。例如，在短文《勝于平庸》（Beating the Averages）中，他聲稱 Lisp 宏使 Lisp 比其它語言更強。他說，因為他在自己創(chuàng)辦的公司 Viaweb 中使用 Lisp，他得以比競爭對手更快地推出新功能。至少，一部分程序員被說服了。然而，龐大的主流程序員群體并未換用 Lisp。

實際上出現(xiàn)的情況是，Lisp 并未流行，但越來越多 Lisp 式的特性被加入到廣受歡迎的語言中。Python 有了列表理解。C# 有了 Linq。Ruby……嗯，Ruby 是 Lisp 的一種。就如格雷厄姆之前在 2001 年提到的那樣，“在一系列常用語言中所體現(xiàn)出的‘默認語言’正越發(fā)朝著 Lisp 的方向演化”。盡管其它語言變得越來越像 Lisp，Lisp 本身仍然保留了其作為“很少人了解但是大家都該學(xué)的神秘語言”的特殊聲望。在 1980 年，Lisp 的誕生二十周年紀念日上，麥卡錫寫道，Lisp 之所以能夠存活這么久，是因為它具備“編程語言領(lǐng)域中的某種近似局部最優(yōu)”。這句話并未充分地表明 Lisp 的真正影響力。Lisp 能夠存活超過半個世紀之久，并非因為程序員們一年年地勉強承認它就是最好的編程工具；事實上，即使絕大多數(shù)程序員根本不用它，它還是存活了下來。多虧了它的起源和它的人工智能研究用途，說不定還要多虧 SICP 的遺產(chǎn)，Lisp 一直都那么讓人著迷。在我們能夠想象上帝用其它新的編程語言創(chuàng)造世界之前，Lisp 都不會走下神壇。