Come definire una funzione in ghci su più linee?

Sto cercando di definire qualsiasi funzione semplice che si estende su più righe in ghci, prendere il seguente esempio:

let abs n | n >= 0 = n
          | otherwise = -n

Finora ho provato a premere Invio dopo la prima riga:

Prelude> let abs n | n >= 0 = n
Prelude>           | otherwise = -n
<interactive>:1:0: parse error on input `|'

Ho anche provato a usare i comandi :{e :}ma non riesco ad andare lontano:

Prelude> :{
unknown command ':{'
use :? for help.

Sto usando GHC Interactive versione 6.6 per Haskell 98 su Linux, cosa mi sto perdendo?

Per le guardie (come il tuo esempio), puoi semplicemente metterle tutte su una linea e funziona (le guardie non si preoccupano della spaziatura)

let abs n | n >= 0 = n | otherwise = -n

Se si desidera scrivere la propria funzione con più definizioni che corrispondono allo schema sugli argomenti, in questo modo:

fact 0 = 1
fact n = n * fact (n-1)

Quindi utilizzare le parentesi graffe con punto e virgola che separano le definizioni

let { fact 0 = 1 ; fact n = n * fact (n-1) }

GHCi ora ha una modalità di input multilinea, abilitata con: set + m. Per esempio,

Prelude> :set +m
Prelude> let fac 0 = 1
Prelude|     fac n = n * fac (n-1)
Prelude|
Prelude> fac 10
3628800

Dan ha ragione, ma :{e :}ognuno deve apparire sulla propria riga:

> :{ 
> let foo a b = a +
>           b
> :}
> :t foo
foo :: (Num a) => a -> a -> a

Ciò interagisce anche con la regola di layout, quindi quando si utilizza la notazione, potrebbe essere più semplice utilizzare esplicitamente parentesi graffe e punti e virgola. Ad esempio, questa definizione ha esito negativo:

> :{
| let prRev = do
|   inp <- getLine
|   putStrLn $ reverse inp
| :}
<interactive>:1:18:
    The last statement in a 'do' construct must be an expression

Funziona quando vengono aggiunte parentesi graffe e punti e virgola:

> :{
| let prRev = do {
|   inp <- getLine;
|   putStrLn $ reverse inp;
| }
| :}
> :t prRev
prRev :: IO ()

Questo avrà davvero importanza solo quando si incollano le definizioni da un file, dove il rientro potrebbe cambiare.

Sembra :{e :}sono una funzionalità piuttosto nuova. Potrebbe essere necessario aggiornare GHC.

Modifica: confermato, vedi http://www.haskell.org/ghc/docs/6.8.2/html/users_guide/release-6-8-2.html

Se non desideri aggiornare GHC solo per :{e :}, dovrai scrivere tutto su una riga:

> let abs' n | n >= 0 = n | otherwise = -n

Non sono a conoscenza di alcuna definizione singola in Haskell che deve essere scritta su più righe. Quanto sopra funziona davvero in GHCi:

> :t abs'
abs' :: (Num a, Ord a) => a -> a

Per altre espressioni, come i doblocchi, è necessario utilizzare la sintassi non layout con parentesi graffe e punti e virgola (eugh).

Sto usando GHCi, versione 8.2.1 su macOS Catalina 10.15.2. Di seguito è riportato il modo in cui metto insieme la dichiarazione del tipo di funzione e le protezioni. Nota che le barre verticali a sinistra sono per più linee GHCi.

λ: let abs' :: (Num a, Ord a) => a -> a
 |     abs' n | n >= 0 = n | otherwise = -n
 | 
λ: abs' 7
7
λ: abs' (-7)
7

Sembra che incollare entrambe le linee contemporaneamente o usare control-enter per ogni nuova linea sia tutto insieme, almeno su https://repl.it/languages/haskell . Vedrai 2 punti all'inizio della seconda riga. Oppure inseriscilo in un file e: carica il file (: l main). Come mai gli addominali non funzionano con i numeri negativi? Oh, devi mettere le parentesi attorno al numero.

   let abs n | n >= 0 = n 
..           | otherwise = -n

   abs (-1)