Lisp에서의 어휘 적 바인딩

Question

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

위의 코드는 b가 바깥 쪽 값인 a을 취하는 것으로 7을 평가합니다. 나의 이해에 따르면, 어휘 바인딩에서 'let'의 각 사용은 새로운 위치를 만든다. 그렇다면 변수 은 (b a)a(a 4)의 값을 사용하지 않는 이유는 무엇입니까?

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은 제의 본체이다. a은 b에 대한 표현을 평가할 때 4입니다.