Perché questo codice usa ombreggiamento dei legami `let`?

Question

L'esecuzione di questo codice:

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

nell'interprete:

ghci> j 
... no response ... 

si blocca con l'utilizzo della CPU molto poco. Perchè è questo? Mi aspettavo j = 16.

Answer 1

Secondo il rapporto Haskell, section 3.12:

Lasciate espressioni hanno la forma generale sia {d1; ...; dn} in e, e introdurre un elenco di dichiarazioni annidate, con scope lessicale, reciprocamente ricorsive (let viene spesso chiamato letrec in altre lingue). L'ambito delle dichiarazioni è l'espressione e e il lato destro delle dichiarazioni.

(sottolineatura mia)

Così nella seconda let, dove x = x * x, tutti x s riferiscono allo stesso legame, nessuno si riferiscono alla esterno x = 4 vincolante.