¿Por qué se cuelga este código que utiliza sombreados `let`?

Question

La ejecución de este código:

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

en el intérprete:

ghci> j 
... no response ... 

cuelga con muy poca utilización de la CPU. ¿Por qué es esto? Esperaba j = 16.

Answer 1

De acuerdo con el informe de Haskell, section 3.12:

Deje expresiones tienen la forma general sea {d1; ...; dn} en e, e introduzca una lista anidada, de alcance léxico y mutuamente recursiva de las declaraciones (let a menudo se llama letrec en otros idiomas). El alcance de las declaraciones es la expresión ey el lado derecho de las declaraciones.

(énfasis mío)

Así que en el segundo let, donde x = x * x, todos x s se refieren a la misma ligadura, ninguno se refiere a la exterior x = 4 vinculante.