編輯“Scheme”（章節(jié)）

==Scheme對象綁定、賦值和函數(shù)定義==

let 表達(dá)式語法糖果

<pre>
語法：
(let ((var val) ...) exp1 exp2 ...)
</pre>

<font color="red">說明：let 表達(dá)式是 lambda 表達(dá)式的語法糖果，即：(let ((var val) ...) exp1 exp2 ...)，為 ((lambda (var ...) exp1 exp2) val ...)</font>

:示例：
(let ((x 2) (y 3)) (+ x y))
; 先綁定： x=2, y=3，再計(jì)算x+y的值，結(jié)果為5。注意 (x 2) 和 (y 3) 外還有一層括號(hào)。

:更多的示例：
<pre>
　　(let ((f +))
　　(f 2 3)) ; return 5
　　(let ((f +) (x 2))
　　(f x 3)) ; return 5
　　(let ((f +) (x 2) (y 3))
　　(f x y)) ; return 5
</pre>

;用 define 綁定對象和 set! 賦值

:語法：(define var exp) , (set! var exp)

:說明：define綁定的對象在當(dāng)前作用域中有效。define 和 set! 的區(qū)別是[[define]]既能賦值又能定義變量，而set!只能對已經(jīng)定義的變量賦值。
:示例：
<pre>
　　(define a 1)
　　a ; return 1
　　(set! a 2)
　　a ; return 2
　　(let ((a 3)) a) ; return 3
　　a ; return 2
　　(let ((a 3)) (set! a 4) a) ; return 4
　　a ; return 2
　　(let ((a 3)) (define a 5) a) ; return 5
　　a ; return 2
　　(set! b 1) ; 錯(cuò)誤，b尚未定義
</pre>

;lambda 表達(dá)式和函數(shù)定義

:語法：(lambda (var ...) exp1 exp2 ...)

:說明：[[lambda]] 表達(dá)式用于定義函數(shù)。var ... 是參數(shù)，exp1 exp2 ...是函數(shù)的執(zhí)行 部分。通常需要結(jié)合局部定義 let 或者全局定義表達(dá)式 define，再進(jìn)行函數(shù)調(diào)用。
:示例：
<pre>((lambda (x) (+ x x)) (* 3 4)) ; return 24</pre>

:說明：先用lambda定義了函數(shù)，參數(shù)是x，函數(shù)返回x+x。同時(shí)該語句也完成了函數(shù)調(diào)用，實(shí)參是 12 (等于3*4)，因此返回值是 24 （等于12＋12）。

在let表達(dá)式中定義函數(shù)。

Scheme語言中，函數(shù)作為一種數(shù)據(jù)類型，通過賦值語句，將lambda表達(dá)式賦值給相應(yīng)的函數(shù)。

:示例：
<pre>
　　(let ((double (lambda (x) (+ x x))))
　　(list (double (* 3 4))
　　(double (/ 99 11))
　　(double (- 2 7)))) ; return (24 18 -10)
</pre>

:說明：let表達(dá)式將lambda定義的函數(shù)賦值給double，參數(shù)是x，返回 x+x。接下來分別三次調(diào)用 double 函數(shù)，并將結(jié)果以列表形式返回。list 表達(dá)式負(fù)責(zé)生成列表。

用define全局定義表達(dá)式來定義函數(shù)。

用 let 定義的函數(shù)只能在 let 表達(dá)式中有效，如果想定義在整個(gè)程序中有效的函數(shù)定義，需要用到全局定義表達(dá)式——define。

:示例：
<pre>
　　(define double (lambda (x) (+ x x)))
　　(double 12) ; return 24
　　(double (* 3 4)) ; return 24
</pre>

:說明：define表達(dá)式定義了全局有效的函數(shù) double。兩次調(diào)用double的返回值都是 24。

定義函數(shù)的簡寫

用 define 定義的函數(shù)的語法可以簡化，即將 lambda 去掉。即將語法
<pre>
　　(define var0
　　(lambda (var1 ... varn)
　　e1 e2 ...))
　　簡寫為：
　　(define (var0 var1 ... varn)
　　e1 e2 ...)
</pre>

:示例：
<pre>
　　(define (double x) (+ x x))
　　(double 12) ; return 24
　　(double (* 3 4)) ; return 24
</pre>

:說明：本例是前一個(gè)例子的簡化版本。更簡介，明了。