LISP

1955年至1956年間，資訊處理語言被創造出來，用於人工智能處理（早期的基于符号处理的人工智能领域，以图灵测试为目标）。此领域中有研究者持有观点：“符号演算系统可以衍生出智能。”[1]。它首先使用了列表(抽象数据类型)與遞歸。

1958年，約翰·麥卡錫在麻省理工學院發明了Lisp程式語言，採用了資訊處理語言的特徵。1960年，他在《ACM通讯》發表論文，名為《遞迴函數的符號表達式以及由機器運算的方式，第一部》（Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I）。在這篇論文中闡述了只要透過一些簡單的運算子，以及用於函數的記號，就可以建立一個具圖靈完備性語言，可用於演算法中。

麥卡錫最初使用M-表達式寫程式碼，之後再轉成S-表達式，舉例來說M-表達式的語法，car[cons[A,B]]，等同於S-表達式的(car (cons A B))。然而由於S-表達式具備同像性的特性（homoiconic，即程式與資料由同樣的結構儲存），實際應用中一般只使用S-表達式。此外他也借用了資訊處理語言中的许多概念。

約翰·麥卡錫的學生史帝芬·羅素在閱讀完此論文後，認為Lisp編程語言當中的eval函数可以用機器碼來實做。他在IBM 704機器上，寫出了第一個Lisp解释器。1962年，蒂姆·哈特（Tim Hart）與麥克·萊文（Mike Levin）在麻省理工學院以Lisp編程語言，實做出第一個完整的Lisp編譯器。這兩人在筆記中使用的語法比麥卡錫早期的代碼更接近現代Lisp風格。

然而使用20世紀70年代當時的編譯器技術和硬體，要實現Lisp還是困難的挑戰。由研究生丹尼爾·愛德華茲所開發的垃圾收集程序，使得在通用計算機上運行Lisp變得實用，但效率仍然是一個問題。這導致了Lisp專用機器的創建：用於運行Lisp環境和程序的專用硬體。之後計算機硬體和編譯器技術的發展迅速，使得昂貴的Lisp專用機器過時。

在20世紀90年代衰退之後，Lisp最近十年來因一些關注而逐漸復甦。大多數新活動都集中在Common Lisp，Clojure，Racket，Scheme和Emacs Lisp的實作上，包括開發新的跨平台函式庫和應用。當其他人認為Lisp已經是過時陳舊的，如保羅·格雷厄姆和埃里克·雷蒙等人繼續出版有關於Lisp編程的著作，一些新的開發人員受到這些作者啟發，經常將Lisp這種語言描述為令人大開眼界的經驗，並聲稱在本質上比較其它編程語言更有生產效率。這種意識的提高可對比於，如同Lisp在90年代中期“人工智能冬季”的短暫增長。

Dan Weinreb在他的調查中，列出了11個積極維護中的Common Lisp實作。Scieneer Common Lisp是一個新的實作商業化產品，由CMUCL於2002年首次發布。

開源社群建立了新的支援基礎：CLiki是個收集Common Lisp相關資訊的維基，Common Lisp目錄列出了資源，#lisp是一個受歡迎的IRC頻道，可以共享和註釋代碼片段（在lisppaste的支持下，一個用Lisp編寫的IRC機器人），Planet Lisp收集了各種 Lisp相關博客的內容，LispForum用戶討論Lisp主題，Lispjobs是個公布職缺機會的服務，還有一個Weekly Lisp News提供每週新聞。Common-lisp.net是開源專案的託管站點。Quicklisp則是含括了許多函式庫的裝載管理器。

Lisp50@OOPSLA慶祝了Lisp的50週年（1958-2008）。在波士頓，溫哥華和漢堡有定期的當地用戶會議。其他活動包括歐洲共同Lisp會議，歐洲Lisp專題討論會和國際Lisp研討會。Scheme社群積極維護了二十多個實作。在過去幾年中已開發了數個有意義的新實作（Chicken，Gambit，Gauche，Ikarus，Larceny，Ypsilon），Scheme社群廣泛接納了R5RS語言標準。Scheme需求實作過程建立了很多預備標準函式庫和Scheme擴展功能。各種 Scheme實作的用戶社群持續地增長。

一個新的語言標準化過程於2003年開始，並在2007年產生了R6RS標準，而使用Scheme介紹計算機科學課程的學校似乎有所減少。麻省理工學院的計算機科學入門課程，已經不再使用Scheme。

有幾種新的Lisp方言：Arc，Hy，Nu，Clojure，Liskell，LFE（Lisp Flavored Erlang）和Racket。

(quote x)返回x，我们简记为'x

(quote a)

上面的表達式的值是a。如果使用C语言或者Java語言的表達方式，可以說成：上面這段代碼返回的值是a。

'a

這個表達式和上面的那個相同，值也是a。將quote寫成 ' 只是一種語法糖。

被quote起來的單一個元素會成為符號（symbol，例如'a）。符號是Lisp中的一個特別概念，他在程式碼中看起來是個字串，但並不盡然，因為符號其實會被Lisp解释器直接指向某個記憶體位置，所以當你比較'apple和'apple兩個符號是否相同時，不需要像字串一樣一個個字元逐字比較，而是直接比較記憶體位置，故速度較快（使用eq運算子來比較，如果使用equal運算子會變成逐字比較）。當你定義一個函数，或者定義一個变量時，他們的內容其實就是指向一個符號。

(atom x)当x是一个atom或者空的list时返回原子t，否则返回NIL。在Common Lisp中我们习惯用原子t表示真，而用空表()或NIL表示假。

> (atom 'a)
t
> (atom '(a b c))
NIL
> (atom '())
t

现在我们有了第一个需要求出自变量值的操作符，让我们来看看quote操作符的作用——通过引用（quote）一个表，我们避免它被求值（eval）。一个未被引用的表达式作为自变量，atom将其视为代码，例如：

> (atom (atom 'a))
t

这是因为(atom 'a)的结果（t）被求出，并代入(atom (atom 'a))，成为(atom t)，而这个表达式的结果是t。

反之一个被引用的表仅仅被视为表

> (atom '(atom 'a))
NIL

引用看上去有些奇怪，因为你很难在其它语言中找到类似的概念，但正是这一特征构成了Lisp最为与众不同的特点：代码和数据使用相同的结构来表示，只用quote来区分它们。

(eq x y)当x和y指向相同的对象的时候返回t，否则返回NIL，值得注意的是在Common Lisp中，原子对象在内存中只会有一份拷贝，所以(eq 'a 'a)返回t，例如：

>(eq 'a 'a)
t
>(eq 'a 'b)
NIL
> (eq '() '())
t
> (eq '(a b c) '(a b c))
NIL

Contents of the Address part of Register number缩写

(car x)要求x是一个表，它返回x中的第一个元素，例如：

> (car '(a b))
a

(cdr x)同样要求x是一个表，它返回x中除第一个元素之外的所有元素组成的表，例如：

> (cdr '(a b c))
(b c)

(cons x y)返回一个cons cell(x y)，如果y不是一个list，将会以dotted pair形式展现这个cons cell，例如：

>(cons 'a 'b)
(a . b)

一个cons cell的第二项如果是另一个cons cell，就表示成表的形式，例如：

 (cons 'a (cons 'b 'c))

就表示成 （a b . c） 若一个cons cell第二项为空，就省略不写，例如：

 (cons 'a  (cons 'b ()))

表示为 （a b） 这样，多重的cons cell就构成了表：

> (cons 'a (cons 'b (cons 'c ())))
(a b c)

(cond (p₁ e₁) ...(p_n e_n))的求值规则如下。对“条件表达式p”依次求值直到有一个返回t.如果能找到这样的p表达式，相应的“结果表达式e”的值作为整个cond表达式的返回值。

> (cond ((eq 'a 'b) 'first)  ((atom 'a)  'second))
 second

七个原始操作符中，除了quote與cond，其他五個原始操作符总会对其自变量求值。我们称这样的操作符为函数。

這裡定義一個巨集叫做nonsense，這個巨集可以方便地定義更多以nonsense為開頭的新函數：

(defmacro nonsense (function-name)
  `(defun ,(intern (concat "nonsense-" function-name)) (input) ;intern可以將string轉成symbol
     (print (concat ,function-name input))))
;;解釋：
;;這個巨集在編譯時，`(defun  因為被quote所以不會被求值，
;;但裡面的,(intern ...)這一段從逗號開始，整個括號括起來的
;; s-expression部份會被求值。這時作為argument輸入的function-name
;;就是在這時被插進macro中。其餘剩下的部份因為仍然在`(defun的quote
;;影響之下，並不會被求值。
;;現在巨集展開完了，整個巨集才被當成一般function執行。
 
(nonsense "apple")  ;使用我們剛剛定義的nonsense這個macro來定義新的f函数
=> nonsense-apple  ;成功定義出了新的函数叫做nonsense-apple

(nonsense "banana")  ;再使用一次巨集來定義新的函数叫做nonsense-banana
=> nonsense-banana  ;成功定義了新的函数。

(nonsense-apple " is good")  ;使用剛剛定義出的新函数
=> "apple is good"
(nonsense-banana " I love to eat")  ;使用另一個剛剛定義函数
=> "banana I love to eat"