關於Lisp的一點點

以後寫的語言相關應該主要是ruby（也許還有少數的c）了，所以在這裡先記錄一點關於lisp的東西。

首先是乙個小故事：

在 ilc 2002 大會上前lisp大神，當今的python倡導者peter norvig，由於某些原因，做乙個類似於馬丁路德在梵蒂岡宣揚新教的主題演講，因為他在演講中大膽地聲稱python就是一種lisp。

講完後進入提問環節，出乎我意料的是，peter點了我過道另一側，靠上面幾排座位的乙個老頭，他衣著皺褶，在演講剛開始的時候踱步進來，然後就靠在了那個座位上面。

這老頭滿頭凌亂的白髮，邋遢的白鬍鬚，像是從旅行團中落下的遊客，已經完全迷路了，閒逛到這裡來歇歇腳，隨便看看我們都在這裡幹什麼。我的第乙個念頭是，他會因為我們的奇怪的話題感到相當失望；接著，我意識到這位老頭的年紀，想到斯坦福就在附近，而且我想那人也在斯坦福 —— 難道他是……

「嗨，john，有什麼問題？」 peter說。

雖然這只是10個字左右的問題，我不會假裝自己記住了lisp之父約翰麥卡錫說的每乙個字。他在問python程式能不能像處理資料一樣，優雅地處理python**。

「不行。john, python做不到。」 peter就回答了這一句，然後靜靜地等待，準備接受教授的質疑，但老人沒有再說什麼了。

然後是lisp的七條公理（基本運算子）：

1. (quote x) --> x

2. (atom x) --> t or ()

3. (eq x y) --> t or ()

4. (car x) --> x1 ...the first element of x

5. (cdr x) --> xr ...the rest elements of x

6. (cons x y) --> (xe ye) ...all elements of x and y

7. (cond (p1e1) (p2e2)...(pnen)) --> et ...en of the condition pn is t.

再然後是個人喜歡的lisp現代分支：racket。官網：

如果了解一些邏輯或者計算機理論的相關基礎，到此應該已經能看出，lisp的獨特之處所在。

lisp不是作為一種計算機語言設計的，而是基本邏輯的表達。某種意義上，這是lisp之所以小眾的理由。