如何在多行中定義ghci中的函數？

Question

我試圖定義任何簡單的功能跨越了ghci多行，採取以下爲例：

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

到目前爲止，我已經試過壓在第一行後回車：

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

我也試圖利用:{和:}命令，但我不明白遠：

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

我定義g HC交互版本6.6在Linux上的Haskell 98，我錯過了什麼？

Answer 1

警衛（如你的例子），你可以把他們都在同一行，它工作（警衛不關心間距）

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

，如果你想要寫有多重定義的函數在參數模式匹配，就像這樣：

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

那麼你可以使用大括號用分號分隔定義

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

Answer 2

看起來像:{和:}是一個相當新的功能。您可能需要升級GHC。

編輯：證實，見http://www.haskell.org/ghc/docs/6.8.2/html/users_guide/release-6-8-2.html

Answer 3

如果你不想升級GHC只是:{和:}，你需要它寫在一行：

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

我m不知道Haskell中的任何單個定義，必須在多行上寫入。以上確實在GHCI工作：

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

對於其他表達式，如do塊，你就需要使用非佈局語法與花括號和分號（eugh）。

Answer 4

丹是正確的，但:{和:}必須在每個出現在自己的行：

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

這也與佈局規則交互，所以採用DO-符號時，它可能會更容易使用大括號和半明確地冒號。例如，這個定義失敗：

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

但它工作時，添加括號和分號：

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

這會從文件粘貼定義時，只有真正的問題，其中壓痕可能會改變。

Answer 5

GHCi現在有一個多行輸入模式，啓用：set + m。例如，

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