lisp語言有什么特點(diǎn)_lisp語言總結(jié)詳細(xì)分析

前言

在有些人看來，lisp是種“反智”的，違反人類自然語言邏輯的語言，它只在數(shù)理邏輯上擁有一定意義。事實(shí)證明了它只能在小范圍普及使用，但不妨經(jīng)常有人對它推崇備至并宣傳。

對LISP語言不同觀點(diǎn)以及看法，我覺得應(yīng)該要勇于實(shí)踐實(shí)踐，學(xué)了再自己做判斷。沒有自己思考和實(shí)踐，不要輕易相信或者排斥任何觀點(diǎn)。這些觀點(diǎn)的唯一作用就是提供了你一個(gè)看事物的新角度和調(diào)查的起點(diǎn)。

本文只是個(gè)人的對LISP語言特點(diǎn)以及總的概括，如有不足之處還請見諒。

關(guān)于LISP概述

程序語言本身就不是為了符合自然語言的邏輯而去開發(fā)的，它是為了開發(fā)為人所用的軟件的，它是為了更容易兼容機(jī)器，讓機(jī)器理解是首要考慮，Lisp也一樣，數(shù)理邏輯只是一套方法，Lisp是活生生的具體實(shí)現(xiàn)了，顯然比那些高逼格的理論要來得實(shí)際得多，這一點(diǎn)比數(shù)理邏輯要高級吧。

早期的程序員用Lisp的可是很多的，只不過后來隨著軟件規(guī)模的擴(kuò)大，需要擴(kuò)充的東西比較多，而Lisp是以簡潔著稱的，由于它的開發(fā)環(huán)境實(shí)在太簡陋，所以越來越不能被多數(shù)程序員接受。其實(shí)它一樣可以開發(fā)現(xiàn)有的軟件的，只要你愿意去用，它絕不輸現(xiàn)在的任何流行語言。

人們推崇它很大一方面是受了某些人的宣傳然后為了滿足一下自己的好奇心，就去嘗試了。真的有那么多人推崇Lisp嗎？真的有用它去開發(fā)東西嗎？這我無法回答。?
?

看法一：（支持）

1、lisp高級又基礎(chǔ)，lisp沒有python或者ruby里那些便利的數(shù)組或者h(yuǎn)ash操作函數(shù)，很多時(shí)候，lisp的數(shù)據(jù)只由2個(gè)部分組成：

（AAA 、 BBB）

第一個(gè)元素AAA稱為car部分，剩下的另外一半。不管有多少，稱為cdr部分。也就是對稱的第二個(gè)元素。這叫con cell元素。很多復(fù)雜的數(shù)據(jù)結(jié)構(gòu)，比如數(shù)組，hash表，紅黑樹，二叉樹都是由它實(shí)現(xiàn)的。你說它不基礎(chǔ)？但是lisp又很高級，c語言的一個(gè)特性是，機(jī)器效率雖高，但是人工效率很低。而lisp不同，《黑客與畫家》中指出，lisp只需要c語言十分之一的代碼就能實(shí)現(xiàn)同等的功能。而lisp甚至能直接操作cpu的寄存器，這是哪種高級虛擬機(jī)語言能實(shí)現(xiàn)的？

2、lisp很簡潔，用一句話就能概括lisp的語法：

例如（A B C）

用圓括號括起來稱為一個(gè)列表，列表中第一個(gè)原子被視為函數(shù)，其他原子被視為變量。而由單括號‘前導(dǎo)的元素什么也不視為（不求值），只按原樣返回。

完了，就這么簡單。剩下的都是細(xì)節(jié)。要知道真理都是很簡潔的，比如e=mc2，真理總結(jié)出來都這么簡單。所以lisp很強(qiáng)。

用多數(shù)人可以理解的話說，lisp沒有”保留字“。我們知道每種語言包括c但是有保留字的。這意味著2點(diǎn)：

（1）他們的處理語句和數(shù)據(jù)是分開的，不一樣的。

（2）他們都是被限制了的

但是lisp沒有保留字，為什么呢？你看多數(shù)語言像c++，Java根本就沒有所謂符號（symbol），ruby有符號，但是應(yīng)用很少。lisp不同，lisp大多數(shù)原子都是符號。比如（print atom-1 atom-2），每一個(gè)符號可以連接著一個(gè)函數(shù)定義，或者一個(gè)變量定義，這個(gè)例子就是對atom-1，atom-2 兩個(gè)符號進(jìn)行求值，找出他們的變量定義然后交給print這個(gè)函數(shù)去運(yùn)算。你可以把它調(diào)過來。（atom-1 print atom-2） ，這個(gè)例子就是對print，atom-2 兩個(gè)符號進(jìn)行求值，找出他們的變量定義然后交給atom-1連接的函數(shù)去運(yùn)算，區(qū)別可能是print可能是一個(gè)系統(tǒng)預(yù)先定義好的函數(shù)，而atom-1可能是用戶自定義函數(shù)。所以說lisp是沒有保留字，也不需要保留字的。

所以我們就可以看到了，lisp一個(gè)有名的特點(diǎn)，數(shù)據(jù)和語句是一樣的，是怎么實(shí)現(xiàn)的了。非常簡單，同樣的東西，你把它放在列表第一個(gè)，就是函數(shù)，否則就是變量，如果加上單引號不求值，那就是數(shù)據(jù)。如此，lisp也可以實(shí)現(xiàn)非常強(qiáng)大的宏系統(tǒng)，這也是獨(dú)一無二的，其他語言都不能，因?yàn)樗麄兌疾豢梢园褦?shù)據(jù)和語句區(qū)別開來。簡單的說，宏就是接受一個(gè)參數(shù)，然后返回對應(yīng)的代碼，插入到調(diào)用宏的位置

（ defmacros （args）

`（defun aaaaa（，args）

;; process ））

這樣的東西

把對應(yīng)的代碼恢復(fù)到對應(yīng)位置，只要求值，就和普通的代碼無異。所以lisp可以。而其他語言不可以。你返回一段語句，這段貨的數(shù)據(jù)類型是啥？它就是數(shù)據(jù)，不是語句。要運(yùn)行它，eval它，然后只能得到一個(gè)結(jié)果（以我對ruby粗淺的了解，它已經(jīng)比java靈活太多了）。不像lisp可以替代源代碼中的一個(gè)部分，比如替代函數(shù)中的一部分，這段代碼可以操作參數(shù)，其他語言可以么？

但是lisp這么強(qiáng)大，為什么1958年就被發(fā)明，半個(gè)世紀(jì)以來，lisp沒有廣泛的應(yīng)用？

lisp并非沒有得到過應(yīng)用。在教學(xué)領(lǐng)域，lisp是一門非常廣泛使用的語言，那些不急功近利的學(xué)校比如麻省理工，入門課都采用schme（一門lisp的方言），而在商業(yè)領(lǐng)域，有名的《黑客與畫家》的作者P··G在創(chuàng)立世界第一家互聯(lián)網(wǎng)企業(yè)viaweb時(shí)，使用的是lisp。lisp之所以沒有被廣泛應(yīng)用，是因?yàn)樗珡?qiáng)大了，這么說似乎有點(diǎn)欠揍，但強(qiáng)大就意味著靈活，而靈活就意味著幾乎沒有語法。那些商業(yè)公司想要的只是穩(wěn)定，把工作完成，他們并不在乎你用什么語言開發(fā)。他們才恨不得每一行都是釘死的，所有人都用一個(gè)名字寫函數(shù)，因?yàn)檫@樣可以花更少的錢維護(hù)。

ruby之父松本行宏曾這么說：

而lisp的問題在于，只要你掌握了s表達(dá)式，想寫出什么樣的程序都行，這意味lisp是沒有語法的。這在應(yīng)用上帶來了一定的麻煩。我不希望自己的語言是沒有語法的。所以ruby加入了一定的語法限制。

而在程序員的角度來說，以我看來，大多數(shù)人似乎不那么聰明，多數(shù)人喜歡用一種死語言（java/c++）也無可厚非，因?yàn)樗麄兊乃季S可能就是死的。lisp可能更適用于強(qiáng)大的黑客，自己或者少數(shù)人每個(gè)人都很強(qiáng)的類型，它是一種黑客語言，而不是一種商業(yè)語言。

綜上所述，lisp是靈活的，天馬行空的，沒有限制的。在我看來，一旦使用lisp，就不會想在去使用其他語言。lisp有一種和諧的美。我認(rèn)為，F(xiàn)ortran，c++，java這樣的東西是應(yīng)需而生的，他們是為了滿足當(dāng)下的需要和硬件條件而設(shè)計(jì)使用的。而lisp從開始就是為了迎合真理和美而生。所以50年過去了，lisp還沒有過時(shí)。lisp就是計(jì)算機(jī)界的真理，記得漫畫《風(fēng)云》中有這么一句，因?yàn)椴还艿侥睦?，真理（或者是類似的詞）就是真理，所以絕世好劍的形狀在哪都是一樣的。lisp也是一樣。以后可能會出現(xiàn)別的名字的語言，也可能不叫l(wèi)isp，但是真理總是真理，所以絕世好劍的形狀總是一樣的。

但是從現(xiàn)實(shí)的角度來看，我們要編程，如何運(yùn)用lisp呢？

emacs使用emacs lisp作為架構(gòu)語言（不僅僅是擴(kuò)展語言），這是絕佳的學(xué)習(xí)lisp的途徑

common lisp和scheme作為lisp最有名的兩門方言，廣為人知。但是在教育領(lǐng)域應(yīng)用比較多。實(shí)際用途似乎比較少

GNU組織使用guile作為gnu通用擴(kuò)展語言，但是我沒聽說哪有它的應(yīng)用。

時(shí)下最火的clojure，你可能聽說過，這是一種運(yùn)行在java虛擬機(jī)上的lisp，編譯為java字節(jié)碼，具有和java一樣的速度，使用它可以無縫使用jdk里的所有庫和java的無數(shù)第三方庫，現(xiàn)在你知道它為啥火了。clojure的一個(gè)子集可以編譯為javaascript運(yùn)行在瀏覽器中，這帶來了無盡的可能，盡情的享受那些愚民們的成果吧，node.js貌似也行。

看法二：（不支持）

認(rèn)為Lisp永遠(yuǎn)成不了編程主流語言。他們認(rèn)為Lisp未能成為主流的根本原因是這一語言是反人性的，它的先進(jìn)是對于機(jī)器的先進(jìn)，就像二進(jìn)制對于計(jì)算機(jī)來說是先進(jìn)的一樣。人是生物，對事物的需求都有著多樣性的需求，人類的所有語言對漂亮的形容詞從來不止一個(gè)，對顏色的要求從來就不止黑白亮色，所以在數(shù)字上選擇了十進(jìn)制而不選擇二進(jìn)制，這是最基本的人性。Lisp使用S表達(dá)式抹平了一切多樣性，禁止人類數(shù)千年來不約而同選擇的的A+B這樣的中綴表達(dá)式規(guī)則，違反了人性，所以受到了廣大開發(fā)者的不接受。

簡單說就是Lisp語言違反了人類人性中對事物多樣性的需求而不能成為編程語言中的主流。

lisp語言特點(diǎn)

LISP為函數(shù)式程序設(shè)計(jì)語言，所有運(yùn)算都能以函數(shù)作用于參數(shù)的方式來實(shí)現(xiàn)。

LISP沒有命令式語言程序中常見賦值語句和變量，重復(fù)的過程可以使用遞歸的函數(shù)調(diào)用來表示，并不需要使用循環(huán)模式。

LISP是古老的函數(shù)語言、弱類型、動態(tài)推斷，其代碼本身就是各種列表。每一個(gè)表項(xiàng)均可以儲存任何類型的數(shù)據(jù)如數(shù)字、函數(shù)、符號或一個(gè)子表等，在編碼時(shí)，可以隨時(shí)操作以更新列表。

LISP核心的操作符只有7個(gè)操作符：quote、atom、eq、car、cdr、cons、cond。前三者quote、atom、eq用于符號的推斷；car、cdr、cons操縱表格；cond負(fù)責(zé)分支判斷。這種簡潔定義，非常接近圖靈機(jī)原型的純函數(shù)式語言，是現(xiàn)代語言完全無法比擬的。

LISP作為弱類型這優(yōu)點(diǎn)相對缺點(diǎn)則是運(yùn)行效率的低下。原始定義簡潔的缺點(diǎn)使到大型開發(fā)工程變得困難，自底層到高層，自二維表查詢到面向?qū)ο?，使用者需要嵌入更多的函?shù)來實(shí)現(xiàn)，致使LISP眾多方言的衍生。

Lisp優(yōu)勢：

- 不尋常的語法對智商是一個(gè)過濾

- 語法糖特別適合對編輯器優(yōu)化， 語言本身并沒有給你任何不可跨越的限制。

- Emacs配置本來就是個(gè)人行為。代碼量不會很大，都放到同一個(gè)目錄下grep就行了。所以也不存在多人開發(fā)導(dǎo)致質(zhì)量下降的問題。