理論領(lǐng)域中的“代碼即數據”——
（1）純lambda演算中，所有的數據類(lèi)型都可以表示成lambda表達式，所有的操作都是lambda表達式的應用。
（2）邏輯編程中，數據和操作都可以歸結成邏輯項。
上個(gè)世紀50年代時(shí)，人工智能研究中人們發(fā)現list這種數據結構的威力，lambda表達式和邏輯項都可以用list在機器中表達。S表達式可算為list的書(shū)寫(xiě)形式。
在這些因素的推動(dòng)下，于是就有了麥卡錫及其人工智能團隊發(fā)明（也可以說(shuō)發(fā)現）lisp語(yǔ)言的偉大傳說(shuō)。S表達式非常偶然也十分必然的成為了lisp程序的書(shū)寫(xiě)形式。
在理論意義上，lisp核心是可以和lambda演算、數理邏輯并列的一個(gè)新的形式系統，語(yǔ)言?xún)群丝梢杂靡唤M公理表示。像PG這樣的死忠粉絲認為，這正是lisp不同于非lisp語(yǔ)言的本質(zhì)之處，也是它與時(shí)俱進(jìn)的奧秘所在。
起初lisp多以解釋器實(shí)現，元編程不需要宏，有eval就夠了，這和現在javascript之流類(lèi)似。元編程＝表處理＋eval。 javascript中的json形式如果再開(kāi)發(fā)一下，也可以成為元編程的工具。
直到上個(gè)世紀70年代lisp編譯器開(kāi)始走上舞臺時(shí)，宏才引入lisp主流。但是又一個(gè)歷史的偶然，讓lisp宏和其他語(yǔ)言的宏具有本質(zhì)的不同。
lisp的開(kāi)發(fā)者如此熱愛(ài)這個(gè)語(yǔ)言，因此他們用lisp本身來(lái)寫(xiě)它的編譯器，因為先有解釋器在。lisp的宏雖然本質(zhì)還是表處理，但由于在宏解析階段可以使用lisp解釋器，它可以使用lisp整個(gè)語(yǔ)言和庫，這和編寫(xiě)一個(gè)lisp函數幾乎沒(méi)有區別。你無(wú)法想象在c語(yǔ)言宏中，你可以使用c語(yǔ)言自己。
所以死忠lisp粉絲如PG者，反對Scheme的宏設計，因為那是一個(gè)DSL，是從lisp的立場(chǎng)向非lisp語(yǔ)言倒退。
但是Scheme方言對lisp的發(fā)展也有很大的意義。
70年代在程序設計語(yǔ)言的歷史，另一個(gè)偉大的進(jìn)步就是面向對象技術(shù)，smalltalk等許多新語(yǔ)言誕生了。lisp陣營(yíng)的回答是，閉包是比對象更基礎的語(yǔ)言設施。Scheme語(yǔ)言把詞法定域引入了lisp語(yǔ)言，為閉包的實(shí)現打下了基礎。
又一個(gè)歷史的偶然，Scheme的語(yǔ)言的設計者之一又加入common lisp語(yǔ)言委員會(huì )，作為一個(gè)大雜燴，詞法定域和閉包特性就成為了common lisp的關(guān)鍵特征。
再說(shuō)說(shuō)死忠lisp粉絲的觀(guān)點(diǎn)，哥不需要面向對象，哥只要宏＋閉包就ok了。
以上是我個(gè)人對lisp語(yǔ)言發(fā)展的淺見(jiàn)，三個(gè)歷史偶然造就了偉大的common lisp，純屬胡謅，大家見(jiàn)笑。
快過(guò)年了，希望能給組里的lisp同好們帶去一些歡樂(lè )。
本站僅提供存儲服務(wù)，所有內容均由用戶(hù)發(fā)布，如發(fā)現有害或侵權內容，請
點(diǎn)擊舉報。
