섀도 잉`let` 바인딩을 사용하는이 코드는 왜 멈 춥니 까? 인터프리터에</p> <pre><code>j = let x = 4 in let x = x * x in x </code></pre> <p>을 :

Question

이 코드를 실행

ghci> j 
... no response ... 

는 약간의 CPU 사용률이 중단됩니다. 왜 이런거야? 나는 j = 16을 기대했다.

Answer 1

하스켈 보고서에 따르면, section 3.12 :

표현이 일반적인 형식은 D1 {보자 보자; ...; dn}을 전자식으로 사용하고 중첩 된 어휘 적 범위의 상호 반복적 선언 (다른 언어에서는 letrec라고도 함)을 소개합니다. 선언의 범위는 표현식 e와 선언의 오른쪽입니다.

(강조 광산) x = x * x 모든 x (S)가 동일한 바인딩을 참조 번째 let, 그렇게

바인딩 외측 x = 4 참조없음.