如何跨多行在ghci中定义函数？

我正在尝试定义ghci中跨越多行的任何简单函数，以以下示例为例：

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

到目前为止，我已经尝试过在第一行之后按Enter键：

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

我也尝试过使用:{and :}命令，但距离并不远：

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

我在Linux上使用适用于Haskell 98的GHC Interactive版本6.6，我缺少什么？

对于后卫（如您的示例），您可以将它们全部放在一行上，这样就可以工作（后卫不在乎间距）

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) }

GHCi现在具有多行输入模式，通过：set + m启用。例如，

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

丹是正确的，但:{并:}必须在每个出现在自己的行：

> :{ 
> 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 ()

仅当从文件中粘贴定义（缩进可能会更改）时，这才真正重要。

它看起来像:{和:}是一个相当新的功能。您可能需要升级GHC。

编辑：已确认，请参阅http://www.haskell.org/ghc/docs/6.8.2/html/users_guide/release-6-8-2.html

如果您不想只为:{和升级GHC :}，则需要全部写在一行上：

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

我不知道Haskell中的任何单一定义必须多行编写。以上确实适用于GHCi：

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

对于其他表达式，例如do块，您需要将非布局语法与花括号和分号（eugh）结合使用。

我正在macOS Catalina 10.15.2上使用GHCi版本8.2.1。以下是如何将函数类型声明和防护一起放在一起。请注意，左侧的竖线适用于GHCi多行。

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

看起来像一次粘贴两条线，或者对每条新行使用control-enter都可以将它们保持在一起，至少在https://repl.it/languages/haskell处保持一致。您将在第二行的开头看到2个点。或将其放在文件中并：load文件（：l main）。Abs为何不适用于负数？哦，你必须在数字前后加上括号。

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

   abs (-1)