Wie definiert man eine Funktion in ghci über mehrere Zeilen hinweg?

Question

Ich versuche, jede einfache Funktion zu definieren, die mehrere Linien in GHCI, nehmen Sie die folgenden als Beispiel umfasst:

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

ich nach der ersten Zeile durch Drücken der Eingabetaste habe versucht Bisher:

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

ich habe auch versucht, die :{ und :} Befehle zu verwenden, aber ich bekomme nicht weit:

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

ich bin mit G HC Interactive Version 6.6 für Haskell 98 unter Linux, was fehlt mir?

Answer 1

für Wächter (wie Ihr Beispiel), können Sie eine Zeile nur setzen sich alles auf und es funktioniert (Wächter über Abstand do not care)

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

, wenn Sie Ihre Funktion mit mehreren Definitionen schreiben wollen, dass Mustererkennung auf die Argumente, wie folgt aus:

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

dann würden Sie Klammern verwenden, um mit Semikolons die Definitionen Trennung

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

Answer 2

Es sieht aus wie :{ und :} sind ein ziemlich neues Feature. Möglicherweise müssen Sie GHC aktualisieren.

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

Answer 3

Wenn Sie wollen GHC nicht nur ein Upgrade für :{ und :}, müssen Sie alles auf eine Zeile schreiben:

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

I‘ Mir ist keine einzige Definition in Haskell bewusst, dass in mehreren Zeilen geschrieben werden muss. Die oben funktioniert in der Tat in GHCi:

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

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

Answer 4

Dan ist richtig, aber :{ und :} muss jeder erscheinen auf ihre eigene Linie:

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

Diese interagiert auch mit dem Layout der Regel so, wenn do-Notation könnte es einfacher sein, Klammern zu verwenden und semi- Doppelpunkte explizit. Zum Beispiel versagt diese Definition:

> :{ 
| 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 werden hinzugefügt:

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

Dies wird nur wirklich wichtig, wenn Definitionen aus einer Datei einfügen, wo Einzug ändern könnte.

Answer 5

GHCi verfügt nun über einen Mehrzeilen-Eingabemodus, aktiviert mit: set + m.Beispiel:

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