Come si usa un let all'interno di un blocco do in ghci?

Question

Sto provando a creare un blocco do in modo interattivo in ghci. Finché io non definisco una variabile nel blocco, va bene:

Prelude>let a = do putStrLn "test"; putStrLn "other test" 
Prelude> 

ma non riesco a capire come definire una costruzione let nel blocco do in modo interattivo senza ottenere un errore di analisi:

Prelude> let a = do let b = 5; putStrLn $ show b 

<interactive>:2:40: 
    parse error (possibly incorrect indentation or mismatched brackets) 

Ovviamente

let a = do 
    let b = 5 
    putStrLn $ show b 

è del tutto bene in un file di origine Haskell. Sto solo avendo problemi a capire come tradurre quello in ghci.

Answer 1

Try questo:

let a = do let { b = 5 } ; print b 

Il blocco let può contenere dichiarazioni multiple così voi h per dire a GHCi quando hanno finito - ecco a cosa servono le parentesi in questa linea.

A proposito, è possibile utilizzare print per putStrLn . show.

Answer 2

avrei pensato che mettere in parentesi andrebbe bene, ma questo non analizza:

ghci> let a = do {let b = 5; putStrLn (show b)} 

si può sempre prendere l'approccio più righe, che funziona:

ghci> :{ 
ghci| let a = do let b = 5 
ghci|   putStrLn $ show b 
ghci| :} 

Answer 3

:help 

<statement>     evaluate/run <statement>  
:{\n ..lines.. \n:}\n  multiline command 

È possibile digitare : { per avviare un comando multilinea, e digitare :} per porvi fine.

Quindi basta fare

Prelude> :{ 
Prelude| let a = do 
Prelude|  let b=5 
Prelude|  putStrLn $ show b 
Prelude| 
Prelude| :} 

stare attenti con il layout (indentazione/spazi bianchi). Altrimenti puoi ottenere errori di analisi in codice apparentemente corretto.

Per esempio il seguente sarà NON lavoro perché il rientro non è abbastanza profonda:

Prelude> :{ 
Prelude| let a = do 
Prelude| let b=5 
Prelude| putStrLn $ show b 
Prelude| 
Prelude| :} 

Essa porterà ad un errore di analisi come questo:

<interactive>:50:4: parse error on input ‘let’