Dlaczego ten kod za pomocą zacieniających wiązań "let" jest zawieszony?

Question

Uruchomienie tego kodu:

j = let x = 4 
    in let x = x * x 
     in x 

w tłumacza:

ghci> j 
... no response ... 

wisi przy bardzo małym obciążeniu procesora. Dlaczego to? Spodziewałem się j = 16.

Answer 1

Według raportu Haskell, section 3.12:

Niech wyrażenia posiadają powszechną formą niech {d1; ...; dn} in e, i wprowadzić zagnieżdżoną, leksykalną, wzajemnie rekurencyjną listę deklaracji (niech jest często nazywane letrec w innych językach). Zakres deklaracji jest wyrażeniem e i prawą stroną deklaracji.

(Kopalnia nacisk)

Więc w drugim let, gdzie x = x * x, wszystkie x s dotyczyć tego samego wiązania żaden odnoszą się do zewnętrznej x = 4 wiążące.