本页使用了标题或全文手工转换

LISP

维基百科,自由的百科全书
跳转至: 导航搜索
Lisp
Lisplogo alien 256.png
编程范型 多范型函数式过程式反射式元编程
設計者 约翰·麦卡锡
實作者 史帝芬·羅素, Timothy P. HartMike Levin
发行时间 1958
型態系統 动态类型强类型

Lisp,最初被拼為LISP,一個歷史悠久的電腦程式語言家族。最早由约翰·麦卡锡在1958年基于λ演算创造,演化至今,是歷史第二悠久的高级语言,僅次於Fortran,也是第一個函数式编程语言

其名稱源自列表处理器英语List Processor)的縮寫。LISP有很多种方言,各个实现中的语言不完全一样。LISP语言的主要现代版本包括Common Lisp, SchemeRacket以及Clojure。1980年代蓋伊·史提爾二世编写了Common Lisp试图进行标准化,这个标准被大多数解释器和编译器所接受。还有一种是編輯器Emacs所衍生出來的Emacs Lisp(而Emacs正是用Lisp作为扩展语言进行功能扩展)非常流行,并建立了自己的标准。

歷史[编辑]

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

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

麥卡錫最初使用M表示式(M-expression)寫成程式碼,之後再轉譯成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是第一個函数式程序語言,区别于C语言Fortran等命令型程序语言和JavaC#Objective-C等面向对象程序语言。

由于历史的原因,Lisp长期以来被认为主要用于人工智能领域,但Lisp并不是只为人工智能而设计,而是一种通用的程序语言。

Lisp的表达式是一个原子(atom)或表(list),原子(atom)又包含符號(symbol)與數值(number);表是由零个或多个表达式组成的序列,表达式之间用空格分隔开,放入一对括号中,如:

abc
()
(abc xyz)
(a b (c) d)

最后一个表是由四个元素构成的,其中第三个元素本身也是一个表,這種list又稱為嵌套表(nested list)。

正如算数表达式1+1有值2一样,Lisp中的表达式也有值,如果表达式e得出值v,我们说e返回v。如果一个表达式是一个表,那么我们把表中的第一个元素叫做操作符,其余的元素叫做自变量。

Lisp的7个公理(基本操作符)[编辑]

基本操作符1 quote[编辑]

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

(quote a)

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

'a

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

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

基本操作符2 atom[编辑]

(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来区分它们。

基本操作符3 eq[编辑]

(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

基本操作符4 car[编辑]

Contents of the Address part of Register number缩写

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

> (car '(a b))
a

基本操作符5 cdr[编辑]

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

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

基本操作符6 cons[编辑]

(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)

基本操作符7 cond[编辑]

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

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

函数[编辑]

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

语法和语义[编辑]

Scheme的Hello World程序[编辑]

(display "Hello, world!")
;; 在屏幕中打印出: Hello, world!

;; 函数定义
(define (hello)
  (display "Hello, world!"))
 
;; 函数调用
(hello)
;; 在屏幕中打印出: Hello, world!

Common Lisp的Hello World程序[编辑]

(format t "hello, world!")
;; 在屏幕中打印出: hello, world!

函数定义:
(defun hello-world ()
  (format t "hello, world!"))
调用函数:
(hello-world)
;; 在屏幕中打印出: hello, world!
;; 并以NIL作为函数的返回值

Clojure的Hello World程序[编辑]

(print "hello, world!")
;; 在屏幕中打印出: hello, world!

;; 函数定义:
(defn hello-world []
  (print "hello, world!"))
;; 调用函数:
(hello-world)
;; 在屏幕中打印出: hello, world!
;; 并以 nil 作为函数的返回值

Lisp的宏[编辑]

Lisp的語法結構使数据与程序只是一線之隔(有quote就是数据,沒quote就是程序)。由于Lisp這種「数据即程序、程序即数据」的概念,使Lisp的(Macro)變得非常有彈性:你可以定義宏,指定它應該被編譯器翻譯(宏展開)成什麼程式,程序和数据都可以靈活地互相轉換,最後展開的代码會成為整個程序的一部分。宏的实现非常倚重quote來達成。當你定義了一個宏,宏被quote的部份會先被編譯器unquote,而沒有quote、或已經被unquote的部份,則會先被求值。最终編譯器生成的整個程序代码才是最後執行時的代码。以下以廣泛使用的Emacs Lisp為範例(以下範例亦相容Common Lisp),解釋最基本的Lisp宏。

想要建立一個list並賦予給fruit這個变量時不能這樣做,因為這個list沒有被quote過,會被編譯器視為「程序」執行(會把"apple"這個字符串當成函数解釋),而不是「数据」,因而產生錯誤:

> (setq fruit ("apple" "banana" "citrus"))
錯誤:"apple" 不是一個有效函數。

但這樣就正確了:

> (setq fruit (quote ("apple" "banana" "citrus")))
("apple" "banana" "citrus")
;; 或者
> (setq fruit '("apple" "banana" "citrus"))
("apple" "banana" "citrus")
;; 也可以用(list...)運算子,這樣一樣可以建立list。因為list本身是個函數,本來就應該被當成程式執行而不是資料,所以不會報錯:
> (setq fruit (list "apple" "banana" "citrus"))
("apple" "banana" "citrus")

前面有提到使用'符號這個語法糖能夠代替quote,但還有另外一種符號是`,意義基本上與'相同,但被`包起來的部份可以再用來unquote;而'沒有這種能力。

也就是說被`給quote起來的部份是資料,但使用逗号“,”來unquote,令被quote的数据變回程序。(注意quote只有一個arg,所以arg要用list包起來)

;; 使用`來quote整個list
> `("apple" "banana" "citrus")
("apple" "banana" "citrus")

;; 使用逗號,來unquote,這樣fruit這個變量會被重新求值。
> `("apple" "banana" "citrus" ,fruit)
("apple" "banana" "citrus" ("apple" "banana" "citrus"))

;; 可以利用unquote的特性,定義一個函数,讓該函数根據輸入的參數回傳一個我們想要的list数据結構:
(defun user-profile (name email mobile)
  `((name . ,name)
    (email . ,email)
    (mobile . ,mobile)))

(user-profile "Richard" "rms@gnu.org" "Noooo!")
=> ((name . "Richard")
    (email . "rms@gnu.org")
    (mobile . "Noooo!"))

簡易宏範例[编辑]

這裡定義一個宏叫做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"

註釋[编辑]

参见[编辑]

Wikibooks-logo.svg
您可以在維基教科書中查找此百科条目的相關電子教程:

外部链接[编辑]