建站
咨詢
售后
建站咨詢
新聞中心
本文是paul graham所著的《Lisp之根源》的第二部分，介紹了Lisp函數(shù)的表示（***部分）。有關(guān)Lisp函數(shù)表示的具體描述如下：
創(chuàng)新互聯(lián)建站是一家專業(yè)從事成都做網(wǎng)站、成都網(wǎng)站設(shè)計(jì)的網(wǎng)絡(luò)公司。作為專業(yè)網(wǎng)站設(shè)計(jì)公司,創(chuàng)新互聯(lián)建站依托的技術(shù)實(shí)力、以及多年的網(wǎng)站運(yùn)營(yíng)經(jīng)驗(yàn),為您提供專業(yè)的成都網(wǎng)站建設(shè)、成都全網(wǎng)營(yíng)銷推廣及網(wǎng)站設(shè)計(jì)開(kāi)發(fā)服務(wù)！
函數(shù)的表示
接著我們定義一個(gè)記號(hào)來(lái)描述函數(shù).函數(shù)表示為(lambda ( ... ) e ),其中 ... 是原子(叫做參數(shù) ),e 是表達(dá)式. 如果表達(dá)式的***個(gè)元素形式如上
- ((lambda ( ... ) e ) ... )
則稱為函數(shù)調(diào)用 .它的值計(jì)算如下.每一個(gè)表達(dá)式 先求值,然后e 再求值.在e 的求值過(guò)程中,每個(gè)出現(xiàn)在e 中的 的值是相應(yīng)的 在最近一次的函數(shù)調(diào)用中的值.
- > ((lambda (x) (cons x '(b))) 'a)
- (a b)
- > ((lambda (x y) (cons x (cdr y)))
- 'z
- '(a b c))
- (z b c)
如果一個(gè)表達(dá)式的***個(gè)元素f 是原子且f 不是原始操作符
- (f ... )
并且f 的值是一個(gè)函數(shù)(lambda ( ... )),則以上表達(dá)式的值就是
- ((lambda ( ... ) e ) ... )
的值. 換句話說(shuō),參數(shù)在表達(dá)式中不但可以作為自變量也可以作為操作符使用:
- > ((lambda (f) (f '(b c)))
- '(lambda (x) (cons 'a x)))
- (a b c)
有另外一個(gè)函數(shù)記號(hào)使得函數(shù)能提及它本身,這樣我們就能方便地定義遞歸函數(shù).3 記號(hào)
- (label f (lambda ( ... ) e ))
表示一個(gè)象(lambda ( ... ) e )那樣的函數(shù),加上這樣的特性: 任何出現(xiàn)在e 中的f 將求值為此label表達(dá)式, 就好象f 是此函數(shù)的參數(shù).
假設(shè)我們要定義函數(shù)(subst x y z ), 它取表達(dá)式x ,原子y 和表z 做參數(shù),返回一個(gè)象z 那樣的表, 不過(guò)z 中出現(xiàn)的y (在任何嵌套層次上)被x 代替.
- > (subst 'm 'b '(a b (a b c) d))
- (a m (a m c) d)
我們可以這樣表示此函數(shù)
- (label subst (lambda (x y z)
- (cond ((atom z)
- (cond ((eq z y) x)
- ('t z)))
- ('t (cons (subst x y (car z))
- (subst x y (cdr z)))))))
我們簡(jiǎn)記f =(label f (lambda ( ... ) e ))為
(defun f ( ... ) e )
于是
- (defun subst (x y z)
- (cond ((atom z)
- (cond ((eq z y) x)
- ('t z)))
- ('t (cons (subst x y (car z))
- (subst x y (cdr z))))))
偶然地我們?cè)谶@兒看到如何寫(xiě)cond表達(dá)式的缺省子句. ***個(gè)元素是't的子句總是會(huì)成功的. 于是
- (cond (x y ) ('t z ))
等同于我們?cè)谀承┱Z(yǔ)言中寫(xiě)的
- if x then y else z
對(duì)Lisp函數(shù)的表示便介紹到這里。
【編輯推薦】
- Lisp介紹之七個(gè)原始操作符
- 細(xì)數(shù)程序開(kāi)發(fā)語(yǔ)言的七大奇跡
- Clojure編程語(yǔ)言 擴(kuò)展你的Java想象力
- Scala將成為現(xiàn)代Web 2.0的發(fā)起語(yǔ)言
- Scala和Clojure，以及優(yōu)秀的企業(yè)級(jí)語(yǔ)言之道
網(wǎng)站名稱：Lisp函數(shù)的表示
轉(zhuǎn)載來(lái)源：http://www.5511xx.com/article/dpdcjph.html
