¿Cuál es el alcance de let cuando se usa sin?

Question

En un tutorial Haskell me encontré con el siguiente código:

do [...] 
    let atom = [first] ++ rest 
    return $ case atom of 

Tenga en cuenta que la expresión let no cuenta con un bloque de in. ¿Cuál es el alcance de dicha expresión let? La siguiente línea?

Answer 1

En pocas palabras, es de ámbito "de donde ha escrito hasta el final de la do" .

Tenga en cuenta que dentro de una declaración do, let se maneja de manera diferente.

Según http://www.haskell.org/haskellwiki/Monads_as_computation#Do_notation, se interpreta como sigue:

do { let <decls> ; <stmts> } 
    = let <decls> in do { <stmts> } 

Answer 2

El alcance es el resto del bloque do.

See §3.14 of the Haskell Report (específicamente, el cuarto caso en el bloque de traducción). (Sí, esta es la sección sobre do bloques, porque let sin in sólo es válida dentro de un bloque do, como señala Porges.)