LISP語言教程.doc

LISP語言教程作者：牛魔王 上次修改時間: 2007-03-22 13:13 Scheme 語言是LISP語言的一個方言(或說成變種)，它誕生于1975年的MIT，對于這個有近三十年歷史的編程語言來說，它并沒有象C+，java，C#那樣受到商業(yè)領(lǐng)域的青睞，在國內(nèi)更是顯為人知。但它在國外的計算機教育領(lǐng)域內(nèi)卻是有著廣泛應(yīng)用的，有很多人學(xué)的第一門計算機語言就是Scheme語言。Scheme 語言概要Author:宋國偉 吉林省德惠市信息中心Date:2003 年 12 月 01 日Scheme 語言是LISP語言的一個方言(或說成變種)，它誕生于1975年的MIT，對于這個有近三十年歷史的編程語言來說，它并沒有象C+，java，C#那樣受到商業(yè)領(lǐng)域的青睞，在國內(nèi)更是顯為人知。但它在國外的計算機教育領(lǐng)域內(nèi)卻是有著廣泛應(yīng)用的，有很多人學(xué)的第一門計算機語言就是Scheme語言。作為Lisp 變體，Scheme 是一門非常簡潔的計算語言，使用它的編程人員可以擺脫語言本身的復(fù)雜性，把注意力集中到更重要的問題上，從而使語言真正成為解決問題的工具。本文分為上、 下兩部分來介紹 scheme 語言。一Scheme語言的特點Scheme 語言是LISP語言的一個方言(或說成變種)，它誕生于1975年的MIT，對于這個有近三十年歷史的編程語言來說，它并沒有象C+，java，C#那樣受到商業(yè)領(lǐng)域的青睞，在國內(nèi)更是顯為人知。但它在國外的計算機教育領(lǐng)域內(nèi)卻是有著廣泛應(yīng)用的，有很多人學(xué)的第一門計算機語言就是Scheme語言。它是一個小巧而又強大的語言，作為一個多用途的編程語言，它可以作為腳本語言使用，也可以作為應(yīng)用軟件的擴展語言來使用，它具有元語言特性，還有很多獨到的特色,以致于它被稱為編程語言中的皇后。下面是洪峰對Scheme語言的編程特色的歸納： 詞法定界（Lexical Scoping） 動態(tài)類型（Dynamic Typing） 良好的可擴展性 尾遞歸（Tail Recursive） 函數(shù)可以作為值返回 支持一流的計算連續(xù) 傳值調(diào)用（passing-by-value） 算術(shù)運算相對獨立 本文的目的是讓有編程基礎(chǔ)（那怕是一點點）的朋友能盡快的掌握Scheme語言的語法規(guī)則，如果您在讀完本文后，發(fā)現(xiàn)自己已經(jīng)會用Scheme語言了，那么我的目的就達到了。二Scheme語言的標(biāo)準(zhǔn)與實現(xiàn)R5RS (Revised(5) Report on the Algorithmic Language Scheme)Scheme語言的語法規(guī)則的第5次修正稿，1998年制定，即Scheme語言的現(xiàn)行標(biāo)準(zhǔn)，目前大多數(shù)Scheme語言的實現(xiàn)都將達到或遵循此標(biāo)準(zhǔn)，并且?guī)缀醵技尤肓艘恍儆谧约旱臄U展特色。Guile (GNUs extension language)Guile是GNU工程的一個項目，它是GNU擴展語言庫，它也是Scheme語言的一個具體實現(xiàn)；如果你將它作為一個庫打包，可以把它鏈接到你的應(yīng)用程序中去，使你的應(yīng)用程序具有自己的腳本語言，這個腳本語言目前就是Scheme語言。Guile可以在LINUX和一些UNIX系統(tǒng)上運行，下面是簡單的安裝過程：下載guile-1.6.4版，文件名為guile-1.6.4.tar.gz，執(zhí)行下面的命令：tar xvfz guile-1.6.4.tar.gzcd guile-1.6.4./configuremakemake install如此，即可以執(zhí)行命令guile，進入guile提示符狀態(tài)，輸入調(diào)試Scheme程序代碼了，本文的所有代碼都是在guile下調(diào)試通過。其它實現(xiàn)除了Guile外，Scheme語言的實現(xiàn)還有很多，如：GNU/MIT-Scheme， SCI，Scheme48，DrScheme等，它們大多是開源的，可以自由下載安裝使用，并且跨平臺的實現(xiàn)也很多。你會發(fā)現(xiàn)既有象basic的 Scheme語言解釋器，也有將Scheme語言編譯成C語言的編譯器，也有象JAVA那樣將Scheme語言代碼編譯成虛擬機代碼的編譯器。三基本概念注釋Scheme語言中的注釋是單行注釋，以分號;開始一直到行尾結(jié)束，其中間的內(nèi)容為注釋，在程序運行時不做處理，如：; this is a scheme comment line.標(biāo)準(zhǔn)的Scheme語言定義中沒有多行注釋，不過在它的實現(xiàn)中幾乎都有。在Guile中就有多行注釋，以符號組合#!開始，以相反的另一符號組合!#結(jié)束，其中內(nèi)容為注釋，如：#!there are scheme comment area.you can write mulity lines here . !#注意的是，符號組合#!和!#一定分做兩行來寫。Scheme用做腳本語言Scheme語言可以象sh，perl，python等語言那樣作為一種腳本語言來使用，用它來編寫可執(zhí)行腳本，在Linux中如果通過Guile用Scheme語言寫可執(zhí)行腳本，它的第一行和第二行一般是類似下面的內(nèi)容：#! /usr/local/bin/guile -s!#這樣的話代碼在運行時會自動調(diào)用Guile來解釋執(zhí)行，標(biāo)準(zhǔn)的文件尾綴是.scm。塊(form)塊(form)是Scheme語言中的最小程序單元，一個Scheme語言程序是由一個或多個form構(gòu)成。沒有特殊說明的情況下 form 都由小括號括起來，形如：(define x 123)(+ 1 2)(* 4 5 6)(display hello world)一個 form 也可以是一個表達式，一個變量定義，也可以是一個過程。form嵌套Scheme語言中允許form的嵌套，這使它可以輕松的實現(xiàn)復(fù)雜的表達式，同時也是一種非常有自己特色的表達式。下圖示意了嵌套的稍復(fù)雜一點的表達式的運算過程：變量定義可以用define來定義一個變量，形式如下：(define 變量名 值)如： (define x 123) ，定義一個變量x，其值為123。更改變量的值可以用set!來改變變量的值，格式如下：(set! 變量名 值)如： (set! x hello) ，將變量x的值改為hello 。Scheme語言是一種高級語言，和很多高級語言(如python，perl)一樣，它的變量類型不是固定的，可以隨時改變。四數(shù)據(jù)類型1. 簡單數(shù)據(jù)類型邏輯型(boolean)最基本的數(shù)據(jù)類型，也是很多計算機語言中都支持的最簡單的數(shù)據(jù)類型，只能取兩個值：#t，相當(dāng)于其它計算機語言中的 TRUE；#f，相當(dāng)于其它計算機語言中的 FALSE。Scheme語言中的boolean類型只有一種操作：not。其意為取相反的值，即：(not #f) = #t(not #t) = #fnot的引用，與邏輯非運算操作類似guile (not 1)#fguile (not (list 1 2 3)#fguile (not a)#f從上面的操作中可以看出來，只要not后面的參數(shù)不是邏輯型，其返回值均為#f。數(shù)字型(number)它又分為四種子類型：整型(integer)，有理數(shù)型(rational)，實型(real)，復(fù)數(shù)型(complex)；它們又被統(tǒng)一稱為數(shù)字類型(number)。如：復(fù)數(shù)型(complex) 可以定義為 (define c 3+2i) 實數(shù)型（real）可以定義為 (define f 22/7) 有理數(shù)型（rational）可以定義為 (define p 3.1415) 整數(shù)型(integer) 可以定義為 (define i 123)Scheme 語言中，數(shù)字類型的數(shù)據(jù)還可以按照進制分類，即二進制，八進制，十進制和十六進制，在外觀形式上它們分別以符號組合 #b、 #o、 #d、 #x 來作為表示數(shù)字進制類型的前綴，其中表示十進制的#d可以省略不寫，如：二進制的 #b1010 ，八進制的 #o567，十進制的123或 #d123，十六進制的 #x1afc 。Scheme語言的這種嚴(yán)格按照數(shù)學(xué)定理來為數(shù)字類型進行分類的方法可以看出Scheme語言里面滲透著很深的數(shù)學(xué)思想，Scheme語言是由數(shù)學(xué)家們創(chuàng)造出來的，在這方面表現(xiàn)得也比較鮮明。字符型(char)Scheme語言中的字符型數(shù)據(jù)均以符號組合 # 開始，表示單個字符，可以是字母、數(shù)字或 ! $ % & * + - . / : ? _ 等等其它字符，如： #A 表示大寫字母A，#0表示字符0，其中特殊字符有：#space 表示空格符和 #newline 表示換行符。符號型(symbol)符號類型是Scheme語言中有多種用途的符號名稱，它可以是單詞，用括號括起來的多個單詞，也可以是無意義的字母組合或符號組合，它在某種意義上可以理解為C中的枚舉類型。看下面的操作：guile (define a (quote xyz) ; 定義變量a為符號類型，值為xyzguile axyzguile (define xyz a) ; 定義變量xyz為符號類型，值為aguile xyza此處也說明單引號 與quote是等價的，并且更簡單一些。符號類型與字符串不同的是符號類型不能象字符串那樣可以取得長度或改變其中某一成員字符的值，但二者之間可以互相轉(zhuǎn)換。2. 復(fù)合數(shù)據(jù)類型可以說復(fù)合數(shù)據(jù)類型是由基本的簡單數(shù)據(jù)類型通過某種方式加以組合形成的數(shù)據(jù)類型，特點是可以容納多種或多個單一的簡單數(shù)據(jù)類型的數(shù)據(jù)，多數(shù)是基于某一種數(shù)學(xué)模型創(chuàng)建的。字符串(string) 由多個字符組成的數(shù)據(jù)類型，可以直接寫成由雙引號括起的內(nèi)容，如：hello 。下面是Guile中的字符串定義和相關(guān)操作：guile (define name tomson)guile nametomsonguile (string-length name) ; 取字符串的長度6guile (string-set! name 0 #g) ; 更改字符串首字母(第0個字符)為小寫字母g (#g)guile namegomsonguile (string-ref name 3) ; 取得字符串左側(cè)第3個字符（從0開始）#s字符串還可以用下面的形式定義：guile (define other (string #h #e #l #l #o )guile otherhello字符串中出現(xiàn)引號時用反斜線加引號代替，如：abcdef 。點對(pair)我把它譯成點對，它是一種非常有趣的類型，也是一些其它類型的基礎(chǔ)類型，它是由一個點和被它分隔開的兩個所值組成的。形如： (1 . 2) 或 (a . b) ，注意的是點的兩邊有空格。這是最簡單的復(fù)合數(shù)據(jù)類型，同是它也是其它復(fù)合數(shù)據(jù)類型的基礎(chǔ)類型，如列表類型（list）就是由它來實現(xiàn)的。按照Scheme語言說明中的慣例，以下我們用符號組合 = 來表示表達式的值。它用cons來定義，如： (cons 8 9) =(8 . 9)其中在點前面的值被稱為 car ，在點后面的值被稱為 cdr ，car和cdr同時又成為取pair的這兩個值的過程，如：(define p (cons 4 5) = (4 . 5)(car p) = 4(cdr p) = 5還可以用set-car! 和 set-cdr! 來分別設(shè)定這兩個值：(set-car! p hello)(set-cdr! p good)如此，以前定義的 p 又變成了 (hello . good) 這個樣子了。列表(list)列表是由多個相同或不同的數(shù)據(jù)連續(xù)組成的數(shù)據(jù)類型，它是編程中最常用的復(fù)合數(shù)據(jù)類型之一，很多過程操作都與它相關(guān)。下面是在Guile中列表的定義和相關(guān)操作：guile (define la (list 1 2 3 4 )guile la(1 2 3 4)guile (length la) ; 取得列表的長度4guile (list-ref la 3) ; 取得列表第3項的值（從0開始）4guile (list-set! la 2 99) ; 設(shè)定列表第2項的值為9999guile la(1 2 99 4)guile (define y (make-list 5 6) ;創(chuàng)建列表guile y(6 6 6 6 6)make-list用來創(chuàng)建列表，第一個參數(shù)是列表的長度，第二個參數(shù)是列表中添充的內(nèi)容；還可以實現(xiàn)多重列表，即列表的元素也是列表，如：(list (list 1 2 3) (list 4 5 6)。列表與pair的關(guān)系回過頭來，我們再看看下面的定義：guile (define a (cons 1 (cons 2 (cons 3 ()guile a(1 2 3)由上可見，a本來是我們上面定義的點對，最后形成的卻是列表。事實上列表是在點對的基礎(chǔ)上形成的一種特殊格式。再看下面的代碼：guile (define ls (list 1 2 3 4)guile ls(1 2 3 4)guile (list? ls)#tguile (pair? ls)#t由此可見，list是pair的子類型，list一定是一個pair，而pair不是list。guile (car ls)1guile (cdr ls)(2 3 4)其cdr又是一個列表，可見用于pair的操作過程大多可以用于list。guile (cadr ls) ; 此點對對象的cdr的car2guile (cddr ls) ; 此點對對象的cdr的cdr(3 4)guile (caddr ls) ; 此點對對象的cdr的cdr的car3guile (cdddr ls) ; 此點對對象的cdr的cdr的cdr(4)上在的操作中用到的cadr，cdddr等過程是專門對PAIR型數(shù)據(jù)再復(fù)合形成的數(shù)據(jù)操作的過程，最多可以支持在中間加四位a或d，如cdddr，caaddr等。下圖表示了由pairs定義形成的列表：這個列表可以由pair定義為如下形式：(define x (cons a (cons b (cons c (cons d ()而列表的實際內(nèi)容則為：(a b c d)由pair類型還可以看出它可以輕松的表示樹型結(jié)構(gòu)，尤其是標(biāo)準(zhǔn)的二叉樹。向量（vector）可以說是一個非常好用的類型 ，是一種元素按整數(shù)來索引的對象，異源的數(shù)據(jù)結(jié)構(gòu)，在占用空間上比同樣元素的列表要少，在外觀上：列表示為： (1 2 3 4) VECTOR表示為： #(1 2 3 4) 可以正常定義：(define v (vector 3 4 5) 也可以直接定義：(define v #(3 4 5)vector是一種比較常用的復(fù)合類型，它的元素索引從0開始，至第 n-1 結(jié)束，這一點有點類似C語言中的數(shù)組。關(guān)于向量表（vector）的常用操作過程：guile (define v (vector 1 2 3 4 5)guile v#(1 2 3 4 5)guile (vector-ref v 0) ; 求第n個變量的值1guile (vector-length v) ; 求vector的長度5guile (vector-set! v 2 abc) ; 設(shè)定vector第n個元素的值guile v#(1 2 abc 4 5)guile (define x (make-vector 5 6) ; 創(chuàng)建向量表guile x#(6 6 6 6 6)make-vector用來創(chuàng)建一個向量表，第一個參數(shù)是數(shù)量，后一個參數(shù)是添充的值，這和列表中的make-list非常相似。我們可以看出，在Scheme語言中，每種數(shù)據(jù)類型都有一些基本的和它相關(guān)的操作過程，如字符串，列表等相關(guān)的操作，這些操作過程都很有規(guī)律，過程名的單詞之間都用-號隔開，很容易理解。對于學(xué)過C+的朋友來說，更類似于某個對象的方法，只不過表現(xiàn)的形式不同了。3. 類型的判斷、比較、運算、轉(zhuǎn)換與方法類型判斷Scheme語言中所有判斷都是用類型名加問號再加相應(yīng)的常量或變量構(gòu)成，形如：(類型? 變量)Scheme語言在類型定義中有比較嚴(yán)格的界定，如在C語言等一些語言中數(shù)字0來代替邏輯類型數(shù)據(jù)False，在Scheme語言中是不允許的。以下為常見的類型判斷和附加說明：邏輯型：(boolean? #t) = #t(boolean? #f) = #t 因為#t和#f都是boolean類型，所以其值為#t(boolean? 2) = #f 因為2是數(shù)字類型，所以其值為 #f字符型：(char? #space) = #t(char? #newline) = #t 以上兩個特殊字符：空格和換行(char? #f) = #t 小寫字母 f(char? #;) = #t 分號 ;(char? #5) = #t 字符 5 ，以上這些都是正確的，所以返回值都是 #t(char? 5) = #f 這是數(shù)字 5 ，不是字符類型，所以返回 #f數(shù)字型：(integer? 1) = #t(integer? 2345) = #t(integer? -90) = #t 以上三個數(shù)均為整數(shù)(integer? 8.9) = #f 8.9不整數(shù)(rational? 22/7) = #t(rational? 2.3) = #t(real? 1.2) = #t(real? 3.14159) = #t(real? -198.34) = #t 以上三個數(shù)均為實數(shù)型(real? 23) = #t 因為整型屬于實型(number? 5) = #t(number? 2.345) = #t(number? 22/7) = #t其它型：(null? () = #t ; null意為空類型，它表示為 () ，即括號里什么都沒有的符號(null? 5) = #f(define x 123) 定義變量x其值為123(symbol? x) = #f(symbol? x) = #t ; 此時 x 為符號x，并不表示變量x的值在Scheme語言中如此眾多的類型判斷功能，使得Scheme語言有著非常好的自省功能。即在判斷過程的參數(shù)是否附合過程的要求。比較運算Scheme語言中可以用，=，= 來判斷數(shù)字類型值或表達式的關(guān)系，如判斷變量x是否等于零，它的形式是這樣的：(= x 0) ，如x的值為0則表達式的值為#t，否則為#f。還有下面的操作：(eqv? 34 34) = #t(= 34 34) = #t以上兩個form功能相同，說明 eqv? 也可以用于數(shù)字的判斷。在Scheme語言中有三種相等的定義，兩個變量正好是同一個對象；兩個對象具有相同的值；兩個對象具有相同的結(jié)構(gòu)并且結(jié)構(gòu)中的內(nèi)容相同。除了上面提到的符號判斷過程和eqv?外，還有eq?和equal?也是判斷是否相等的過程。eq?，eqv?，equal?eq?，eqv?和equal?是三個判斷兩個參數(shù)是否相等的過程，其中eq?和eqv?的功能基本是相同的，只在不同的Scheme語言中表現(xiàn)不一樣。eq?是判斷兩個參數(shù)是否指向同一個對象，如果是才返回#t；equal?則是判斷兩個對象是否具有相同的結(jié)構(gòu)并且結(jié)構(gòu)中的內(nèi)容是否相同，它用eq?來比較結(jié)構(gòu)中成員的數(shù)量；equal?多用來判斷點對，列表，向量表，字符串等復(fù)合結(jié)構(gòu)數(shù)據(jù)類型。guile (define v (vector 3 4 5)guile (define w #(3 4 5) ; w和v都是vector類型，具有相同的值#(3 4 5)guile (eq? v w)#f ; 此時w和v是兩個對象guile (equal? v w)#t ; 符合equal?的判斷要求以上操作說明了eq? 和equal? 的不同之處，下面的操作更是證明了這一點：guile (define x (make-vector 5 6)guile x#(6 6 6 6 6)guile (eq? x x) ; 是同一個對象，所以返回#t#tguile (define z (make-vector 5 6)guile z#(6 6 6 6 6)guile (eq? x z) ; 不是同一個對象#fguile (equal? x z) ; 結(jié)構(gòu)相同，內(nèi)容相同，所以返回#t#t算術(shù)運算Scheme語言中的運算符有： + , - , * , / 和 expt (指數(shù)運算) 其中 - 和 / 還可以用于單目運算，如：(- 4) = -4(/ 4) = 1/4此外還有許多擴展的庫提供了很多有用的過程，max 求最大 (max 8 89 90 213) = 213min 求最小 (min 3 4 5 6 7) = 3abs 求絕對值 (abs -7) = 7除了max，min，abs外，還有很多數(shù)學(xué)運算過程，這要根據(jù)你用的Scheme語言的運行環(huán)境有關(guān)，不過它們大多是相同的。在R5RS中規(guī)定了很多運算過程，在R5RS的參考資料中可以很容易找到。轉(zhuǎn)換Scheme語言中用符號組合-來標(biāo)明類型間的轉(zhuǎn)換（很象C語言中的指針）的過程，就象用問號來標(biāo)明類型判斷過程一樣。下面是一些常見的類型轉(zhuǎn)換過程：guile (number-string 123) ; 數(shù)字轉(zhuǎn)換為字符串123guile (string-number 456) ; 字符串轉(zhuǎn)換為數(shù)字456guile (char-integer #a) ;字符轉(zhuǎn)換為整型數(shù)，小寫字母a的ASCII碼值為9697guile (char-integer #A) ;大寫字母A的值為6565guile (integer-char 97) ;整型數(shù)轉(zhuǎn)換為字符#aguile (string-list hello) ;字符串轉(zhuǎn)換為列表(#h #e #l #l #o) guile (list-string (make-list 4 #a) ; 列表轉(zhuǎn)換為字符串a(chǎn)aaaguile (string-symbol good) ;字符串轉(zhuǎn)換為符號類型goodguile (symbol-string better) ;符號類型轉(zhuǎn)換為字符串better五過程定義過程（Procedure）在Scheme語言中，過程相當(dāng)于C語言中的函數(shù)，不同的是Scheme語言過程是一種數(shù)據(jù)類型，這也是為什么Scheme語言將程序和數(shù)據(jù)作為同一對象處理的原因。如果我們在Guile提示符下輸入加號然后回車，會出現(xiàn)下面的情況：guile +#這告訴我們+是一個過程，而且是一個原始的過程，即Scheme語言中最基礎(chǔ)的過程，在GUILE中內(nèi)部已經(jīng)實現(xiàn)的過程，這和類型判斷一樣，如 boolean?等，它們都是Scheme語言中最基本的定義。注意：不同的Scheme語言實現(xiàn)環(huán)境，出現(xiàn)的提示信息可能不盡相同，但意義是一樣的。define不僅可以定義變量，還可以定義過程，因在Scheme語言中過程（或函數(shù)）都是一種數(shù)據(jù)類型，所以都可以通過define來定義。不同的是標(biāo)準(zhǔn)的過程定義要使用lambda這一關(guān)鍵字來標(biāo)識。Lambda關(guān)鍵字Scheme語言中可以用lambda來定義過程，其格式如下： (define 過程名 ( lambda (參數(shù) .) (操作過程 .)我們可以自定義一個簡單的過程，如下：: (define add5 (lambda (x) (+ x 5) 此過程需要一個參數(shù)，其功能為返回此參數(shù)加5 的值，如：(add5 11) = 16下面是簡單的求平方過程square的定義：(define square (lambda (x) (* x x)與lambda相同的另一種方式在Scheme語言中，也可以不用lambda，而直接用define來定義過程，它的格式為： (define (過程名 參數(shù)) (過程內(nèi)容 )如下面操作：(define (add6 x) (+ x 6)add6# 說明add6是一個過程，它有一個參數(shù)x(add6 23) = 29再看下面的操作：guile (define fun (lambda(proc x y) (proc x y)guile fun#guile (fun * 5 6)30guile (fun / 30 3)10更多的過程定義上面定義的過程fun有三個參數(shù)，其中第一個參數(shù)proc也是一個操作過程（因為在Scheme語言中過程也是一種數(shù)據(jù)，可以作為過程的參數(shù)），另外兩個參數(shù)是數(shù)值，所以會出現(xiàn)上面的調(diào)用結(jié)果。guile (define add (lambda (x y) (+ x y)guile add#guile (fun add 100 200)300繼續(xù)上面操作，我們定義一個過程add，將add作為參數(shù)傳遞給fun過程，得出和(fun + 100 200)相同的結(jié)果。guile (lambda (x) (+ x x) 5)10上面的 (lambda(x) (+ x x) 事實上是簡單的過程定義，在后面直接加上操作參數(shù)5，得出結(jié)果10，這樣實現(xiàn)了匿名過程，直接用過程定義來操作參數(shù)，得出運算結(jié)果。通過上面的操作，相信你已初步了解了過程的用法。既然過程是一種數(shù)據(jù)類型，所以將過程作為過程的參數(shù)是完全可以的。以下過程為判斷參數(shù)是否為過程，給出一個參數(shù)，用 procedure? 來判斷參數(shù)是否為過程，采用if結(jié)構(gòu)（關(guān)于if結(jié)構(gòu)見下面的介紹）：guile (define isp (lambda (x) (if (procedure? x) isaprocedure notaprocedure)guile isp#guile (isp 0)notaprocedureguile (isp +)isaprocedure上面的過程就體現(xiàn)了Scheme語言的參數(shù)自?。ū鎰e）能力，0是數(shù)字型，所以返回notaprocedure；而+是一個最基礎(chǔ)的操作過程，所以返回isaprocedure。過程的嵌套定義在Scheme語言中，過程定義也可以嵌套，一般情況下，過程的內(nèi)部過程定義只有在過程內(nèi)部才有效，相當(dāng)C語言中的局部變量。如下面的代碼的最終結(jié)果是50：(define fix (lambda (x y z) (define add (lambda (a b) (+ a b) (- x (add y z)(display (fix 100 20 30)此時過程add只在fix過程內(nèi)部起做用，這事實上涉及了過程和變量的綁定，可以參考下面的關(guān)于過程綁定（let，let* 和letrec）的介紹。過程是初學(xué)者難理解的一個關(guān)鍵，隨著過程參數(shù)的增加和功能的增強，過程的內(nèi)容變得越來越復(fù)雜，小括號也會更多，如果不寫出清晰的代碼的話，讀代碼也會成為一個難題。熟悉了 scheme 基本概念、數(shù)據(jù)類型和過程（函數(shù)）后， 下一部分我們來學(xué)習(xí) scheme 的結(jié)構(gòu)、遞歸調(diào)用和其他擴展功能。六常用結(jié)構(gòu)順序結(jié)構(gòu)也可以說成由多個form組成的form，用begin來將多個form放在一對小括號內(nèi)，最終形成一個form。格式為：(begin form1 form2 )如用Scheme語言寫成的經(jīng)典的helloworld程序是如下樣子的：(begin (display Hello world!) ; 輸出Hello world! (newline) ; 換行if結(jié)構(gòu)Scheme語言的if結(jié)構(gòu)有兩種格式，一種格式為：(if 測試 過程1 過程2)，即測試條件成立則執(zhí)行過程1，否則執(zhí)行過程2。例如下面代碼：(if (= x 0) (display is zero)(display not zero)還有另一種格式：(if 測試 過程) ，即測試條件成立則執(zhí)行過程。例如下面代碼：(if ( (define w (lambda (x) (cond ( x 0) upper) (else equal)guile w#guile (w 9)upperguile (w -8)lowerguile (w 0)equal上面程序代碼中，我們定義了過程w，它有一個參數(shù)x，如果x的值大于0，則返回符號upper，如x的值小于0則返回符號lower，如x 的值為0則返回符號equal。下載已做成可執(zhí)行腳本的 例程。cond可以用if形式來寫，上面的過程可以如下定義：guile (define ff (lambda (x) (if ( x 0) upper zero)guile ff#guile (ff 9)upperguile (ff -9)lowerguile (ff 0)zero這在功能上是和cond一樣的，可以看出cond實際上是實現(xiàn)了if的一種多重嵌套。case結(jié)構(gòu)case結(jié)構(gòu)和cond結(jié)構(gòu)有點類似，它的格式為：(case (表達式) (值) 操作) . (else 操作)case結(jié)構(gòu)中的值可以是復(fù)合類型數(shù)據(jù)，如列表，向量表等，只要列表中含有表達式的這個結(jié)果，則進行相應(yīng)的操作，如下面的代碼：(case (* 2 3) (2 3 5 7) prime) (1 4 6 8 9) composite)上面的例子返回結(jié)果是composite，因為列表(1 4 6 8 9)中含有表達式(* 2 3)的結(jié)果6；下面是在Guile中定義的func過程，用到了case結(jié)構(gòu)：guile (define func (lambda (x y) (case (* x y) (0) zero) (else nozero)guile func#guile (func 2 3)nozeroguile (func 2 0)zeroguile (func 0 9)zeroguile (func 2 9)nozero可以下載另一個腳本文件 te.scm，參考一下。and結(jié)構(gòu)and結(jié)構(gòu)與邏輯與運算操作類似，and后可以有多個參數(shù)，只有它后面的參數(shù)的表達式的值都為#t時，它的返回值才為#t，否則為#f。看下面的操作：guile (and (boolean? #f) ( (and (boolean? 2) ( (and (boolean? 2) ( 8 12)#f如果表達式的值都不是boolean型的話，返回最后一個表達式的值，如下面的操作：guile (and (list 1 2 3) (vector a b c)#(a b c)guile (and 1 2 3 4 )4guile (and e d c b a)aor結(jié)構(gòu)or結(jié)構(gòu)與邏輯或運算操作類似，or后可以有多個參數(shù)，只要其中有一個參數(shù)的表達式值為#t，其結(jié)果就為#t，只有全為#f時其結(jié)果才為#f。如下面的操作：guile (or #f #t)#tguile (or #f #f)#fguile (or (rational? 22/7) ( (rational? 22/7)#tguile (real? 22/7)#tguile (or (real? 4+5i) (integer? 3.22)#f我們還可以用and和or結(jié)構(gòu)來實現(xiàn)較復(fù)雜的判斷表達式，如在C語言中的表達式：(x 100) & (y 100) | (y 100)在Scheme中可以表示為：guile (define x 123)guile (define y 80)guile (and ( x 100) ( (or ( x 100) ( y 100)#tScheme語言中只有if結(jié)構(gòu)是系統(tǒng)原始提供的，其它的cond，case，and，or，另外還有do，when，unless等都是可以用宏定義的方式來定義的，這一點充分體現(xiàn)了Scheme的元語言特性，關(guān)于do，when等結(jié)構(gòu)的使用可以參考R5RS。七遞歸調(diào)用用遞歸實現(xiàn)階乘在Scheme語言中，遞歸是一個非常重要的概念，可以編寫簡單的代碼很輕松的實現(xiàn)遞歸調(diào)用，如下面的階乘過程定義：(define factoral (lambda (x) (if ( (define factoral (lambda (x) (if ( factoral#guile (factoral 4)24另一種遞歸方式下面是一另一種遞歸方式的定義：(define (factoral n) (define (iter product counter) (if ( counter n) product (iter (* counter product) (+ counter 1) System Message: WARNING/2 (, line 954)Definition list ends without a blank line; unexpected unindent.(iter 1 1)System Message: WARNING/2 (, line 955)Definition list ends without a blank line; unexpected unindent.(display (factoral 4)這個定義的功能和上面的完全相同，只是實現(xiàn)的方法不一樣了，我們在過程內(nèi)部實現(xiàn)了一個過程iter，它用counter參數(shù)來計數(shù)，調(diào)用時從1開始累計，這樣它的展開過程正好和我們上面的遞歸過程的從4到1相反，而是從1到4。循環(huán)的實現(xiàn)在Scheme語言中沒有循環(huán)結(jié)構(gòu)，不過循環(huán)結(jié)構(gòu)可以用遞歸來很輕松的實現(xiàn)（在Scheme語言中只有通過遞歸才能實現(xiàn)循環(huán)）。對于用慣了C語言循環(huán)的朋友，在Scheme中可以用遞歸簡單實現(xiàn)：guile (define loop (lambda(x y) (if ( loop#guile (loop 1 10)1 2 3 4 5 6 7 8 9 10這只是一種簡單的循環(huán)定義，過程有兩個參數(shù)，第一個參數(shù)是循環(huán)的初始值，第二個參數(shù)是循環(huán)終止值，每次增加1。相信讀者朋友一定會寫出更漂亮更實用的循環(huán)操作來的。八變量和過程的綁定let，let*，letrec在多數(shù)編程語言中都有關(guān)于變量的存在的時限問題，Scheme語言中用let，let*和letrec來確定變量的存在的時限問題，即局部變量和全局變量，一般情況下，全局變量都用define來定義，并放在過程代碼的外部；而局部變量則用let等綁定到過程內(nèi)部使用。用let可以將變量或過程綁定在過程的內(nèi)部，即實現(xiàn)局部變量：guile let#從上面的操作可以看出let是一個原始的宏，即guile內(nèi)部已經(jīng)實現(xiàn)的宏定義。下面的代碼顯示了let的用法（注意多了一層括號）：guile (let (x 2) (y 5) (* x y)10它的格式是：(let () )，下面是稍復(fù)雜的用法：guile (let (x 5) (define foo (lambda (y) (bar x y) (define bar (lambda (a b) (+ (* a b) a) (foo (+ x 3)45以上是Guile中的代碼實現(xiàn)情況。它的實現(xiàn)過程大致是：(foo 8) 展開后形成 (bar 5 8)，再展開后形成 (+ (* 5 8) 5) ，最后其值為45。再看下面的操作：guile (let (isze