Lisp中的詞法綁定

Question

(let ((a 3)) 
    (let ((a 4) 
     (b a)) 
    (+ a b))) 

上述代碼求值爲7，邏輯是b取值爲a。根據我的理解，在詞彙綁定中，每個'let'的使用都會創建一個新的位置。那麼爲什麼(b a)聲明中的變量b未使用(a 4)中的值a？

Answer 1

因爲這就是LET指定要做的事情。綁定在並行完成。

CL-USER 60 > (let ((a 3)) 
       (let ((a 4) 
        (b a)) 
       (+ a b))) 
7 

版本，其中綁定在順序方式進行的被稱爲LET*。

CL-USER 61 > (let ((a 3)) 
       (let* ((a 4) 
         (b a)) 
       (+ a b))) 
8 

請參閱Special Operator LET, LET*。

Answer 2

(let ((a 4) 
     (b a)) 
    (+ a b)) ; ==> 7 

等價於寫作：

((lambda (a b) 
    (+ a b)) 
4 
a) ; ==> 7 

你從這個版本，它的邏輯，a和b是4和a評價後必然看到了什麼？

現在我們有：

(let* ((a 4) 
     (b a)) 
    (+ a b)) ; ==> 8 

這相當於：

(let ((a 4)) 
    (let ((b a)) 
    (+ a b))) ; ==> 8 

這裏第二let是第一主體。當評估b的表達式時，a是4。