Comandi multilinea in GHCi

Question

Ho riscontrato problemi nell'immissione di comandi multilinea in ghci. Il seguente codice di 2 righe lavora da un file:

addTwo :: Int -> Int -> Int 
addTwo x y = x + y 

Ma quando entro in ghci, ottengo errori. Ho anche provato a inserire il codice all'interno di :{ ... :}, ma non funzionano anche per questo esempio, perché questo è solo aggiungendo le linee in un'unica riga, il che non dovrebbe essere il caso.

Sto usando WinGHCi, versione 2011.2.0.1

Answer 1

maggior parte del tempo, si può contare su di inferenza di elaborare una firma per voi. Nel tuo esempio, il seguente è sufficiente:

Prelude> let addTwo x y = x + y 

Se si vuole veramente una definizione con una firma tipo, o la tua definizione si estende su più righe, si può fare questo in ghci:

Prelude> :{ 
Prelude| let addTwo :: Int -> Int -> Int 
Prelude|  addTwo x y = x + y 
Prelude| :} 
Prelude> addTwo 4 7 
11 

Nota che si può anche spremere questo in una sola riga:

Prelude> let addTwo :: Int -> Int -> Int ; addTwo x y = x + y 

È possibile trovare maggiori informazioni su interagire con ghci sulla sezione Interactive evaluation at the prompt della documentazione.

Answer 2

Uso let:

Prelude> :{ 
Prelude| let addTwo :: Int -> Int -> Int 
Prelude|  addTwo x y = x + y 
Prelude| :} 
Prelude> addTwo 2 3 
5 

Answer 3

risolvere questo problema cottura fino GHCI e digitando :set +m:

Prelude> :set +m 
Prelude> let addTwo :: Int -> Int -> Int 
Prelude|  addTwo x y = x + y 
Prelude| 
Prelude> addTwo 1 3 
4 

Boom.

---

Che cosa sta succedendo qui (e sto parlando soprattutto per si, persona googling per chiedere aiuto mentre si lavora il vostro senso attraverso Learn You A Haskell) è che GHCI è un ambiente interattivo in cui stai cambiando attacchi di nomi di funzione al volo. Devi racchiudere le definizioni delle tue funzioni in un blocco let, in modo che Haskell sappia che stai per definire qualcosa. Il materiale :set +m è una scorciatoia per il costrutto multilinea codice:}.

Lo spazio bianco è anche significativo nei blocchi, quindi è necessario indentare la definizione della funzione dopo la definizione del tipo di quattro spazi per tenere conto dei quattro spazi in let.