Wie definiere ich eine Funktion in ghci über mehrere Zeilen hinweg?

Ich versuche, eine einfache Funktion zu definieren, die mehrere Zeilen in ghci umfasst. Nehmen Sie als Beispiel Folgendes:

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

Bisher habe ich versucht, nach der ersten Zeile die Eingabetaste zu drücken:

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

Ich habe auch versucht, die Befehle :{und zu verwenden :}, komme aber nicht weit:

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

Ich verwende GHC Interactive Version 6.6 für Haskell 98 unter Linux. Was fehlt mir?

Für Wachen (wie in Ihrem Beispiel) können Sie sie einfach alle in eine Zeile setzen und es funktioniert (Wachen kümmern sich nicht um Abstände)

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

Wenn Sie Ihre Funktion mit mehreren Definitionen schreiben möchten, deren Muster mit den Argumenten übereinstimmt, wie folgt:

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

Dann würden Sie geschweifte Klammern mit Semikolons verwenden, die die Definitionen trennen

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

GHCi verfügt jetzt über einen mehrzeiligen Eingabemodus, der aktiviert ist mit: set + m. Beispielsweise,

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

Dan ist richtig, aber :{und :}muss jeder in seiner eigenen Zeile erscheinen:

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

Dies interagiert auch mit der Layoutregel. Wenn Sie also die Do-Notation verwenden, ist es möglicherweise einfacher, Klammern und Semikolons explizit zu verwenden. Diese Definition schlägt beispielsweise fehl:

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

Aber es funktioniert, wenn Klammern und Semikolons hinzugefügt werden:

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

Dies ist nur dann wirklich wichtig, wenn Definitionen aus einer Datei eingefügt werden, bei denen sich der Einzug ändern kann.

Es sieht aus wie :{und :}ist eine ziemlich neue Funktion. Möglicherweise müssen Sie GHC aktualisieren.

Bearbeiten: bestätigt, siehe http://www.haskell.org/ghc/docs/6.8.2/html/users_guide/release-6-8-2.html

Wenn Sie GHC nicht nur für :{und aktualisieren möchten, :}müssen Sie alles in eine Zeile schreiben:

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

Mir ist keine einzelne Definition in Haskell bekannt, die in mehreren Zeilen geschrieben werden muss . Das Obige funktioniert tatsächlich in GHCi:

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

Für andere Ausdrücke, wie z. B. doBlöcke, müssen Sie die Nicht-Layout-Syntax mit geschweiften Klammern und Semikolons (eugh) verwenden.

Ich verwende GHCi, Version 8.2.1 unter macOS Catalina 10.15.2. Im Folgenden werden sowohl die Funktionstypdeklaration als auch die Schutzvorrichtungen zusammengestellt. Beachten Sie, dass die vertikalen Balken links für mehrere GHCi-Zeilen gelten.

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

Es sieht so aus, als würden beide Zeilen gleichzeitig eingefügt oder die Strg-Eingabe für jede neue Zeile verwendet, um alles zusammenzuhalten, zumindest unter https://repl.it/languages/haskell . Am Anfang der zweiten Zeile sehen Sie 2 Punkte. Oder legen Sie es in eine Datei und: laden Sie die Datei (: l main). Wie kommt es, dass abs mit negativen Zahlen nicht funktioniert? Oh, du musst die Zahl in Klammern setzen.

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

   abs (-1)