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

Question

我试图在 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 `|'

我还尝试使用 :{< /code> 和 :} 命令，但我没有走得太远：

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

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

Answer 1

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

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

Answer 2

对于守卫（如您的示例），您可以将它们全部放在一行上并且它可以工作（守卫不关心间距）

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 3

Dan 是正确的，但 :{ 和 :} 必须各自出现在自己的行上：

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

这也与布局规则交互，因此使用 do-notation 时可能会更容易明确使用大括号和分号。例如，此定义失败：

> :{
| 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 4

看起来 :{ 和 :} 是一个非常新的功能。您可能需要升级 GHC。

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

Answer 5

如果您不想仅针对 :{ 和 :} 升级 GHC，则需要将其全部写在一行上：

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

我不知道有任何Haskell 中的单个定义必须写在多行上。上面的内容确实在 GHCi 中有效：

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

对于其他表达式，例如 do 块，您需要使用带有大括号和分号的非布局语法（呃）。

Answer 6

看起来就像一次粘贴两行或对每个新行使用 control-enter 将其全部放在一起，至少在 https ://repl.it/languages/haskell。您将在第二行的开头看到两个点。或者将其放入文件中并:load 该文件(:l main)。为什么abs 不适用于负数？哦，你必须在数字两边加上括号。

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

   abs (-1)

Answer 7

我在 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