GHCi 中的多行命令

Question

我在 ghci 中输入多行命令时遇到问题。

以下两行代码适用于文件：

addTwo :: Int -> Int -> Int
addTwo x y = x + y

但是当我进入ghci时，我得到一个错误：

<interactive>:1:1: error:
    Variable not in scope: addTwo :: Int -> Int -> Int

我也尝试将代码放在:{ ... :} 中，但它们也不适用于此示例，因为这只是将行附加到一行中，不应该是这种情况。

我正在使用 WinGHCi，版本 2011.2.0.1

Answer 1

大多数时候，您可以依靠类型推断来为您制定签名。在您的示例中，以下内容就足够了：

Prelude> let addTwo x y = x + y

如果你真的想要一个带有类型签名的定义，或者你的定义跨越多行，你可以在 ghci 中这样做：

Prelude> :{
Prelude| let addTwo :: Int -> Int -> Int
Prelude|     addTwo x y = x + y 
Prelude| :}
Prelude> addTwo 4 7
11

请注意，您也可以将其压缩到一行：

Prelude> let addTwo :: Int -> Int -> Int ; addTwo x y = x + y

您可以在文档的 Interactive evaluation at the prompt 部分找到有关与 ghci 交互的更多信息。

Answer 2

使用let:

Prelude> :{
Prelude| let addTwo :: Int -> Int -> Int
Prelude|     addTwo x y = x + y
Prelude| :}
Prelude> addTwo 2 3
5

Answer 3

通过启动 GHCI 并输入 :set +m 来解决此问题：

Prelude> :set +m
Prelude> let addTwo :: Int -> Int -> Int
Prelude|     addTwo x y = x + y
Prelude| 
Prelude> addTwo 1 3
4

轰隆隆。

---

这里发生的事情（我主要是在与 你 交谈，在通过 Learn You A Haskell 工作时正在谷歌搜索寻求帮助的人）是 GHCI 是一个交互式环境，您可以在其中更改绑定动态的函数名称。您必须将函数定义包装在 let 块中，以便 Haskell 知道您将要定义一些东西。 :set +m 是多行 :{ code :} 构造的简写。

空格在块中也很重要，因此您必须在类型定义之后将函数定义缩进四个空格，以说明let 中的四个空格。

Answer 4

从GHCI version 8.0.1 开始，let 不再需要在 REPL 上定义函数。

所以这应该适合你：

λ: addTwo x y = x + y
λ: addTwo 1 2
3
λ: :t addTwo
addTwo :: Num a => a -> a -> a

Haskell 的类型推断提供了适用于浮点数的通用类型：

λ: addTwo 2.0 1.0
3.0

如果您必须提供自己的输入，您似乎需要将let 与多行输入结合使用（使用:set +m 在GHCI 中启用多行输入）：

λ: let addTwo :: Int -> Int -> Int
 |     addTwo x y = x + y
 | 
λ: addTwo 1 2
3

但是，如果您尝试传递除 Int 之外的任何内容，因为您的非多态类型，您会收到错误：

λ: addTwo 2.0 1.0

<interactive>:34:8: error:
    • No instance for (Fractional Int) arising from the literal ‘2.0’
    • In the first argument of ‘addTwo’, namely ‘2.0’
      In the expression: addTwo 2.0 1.0
      In an equation for ‘it’: it = addTwo 2.0 1.0

Answer 5

要扩展 Aaron Hall's answer，至少在 GHCi 8.4.4 版本中，如果您使用 :{ :} 样式，则不需要将 let 与类型声明一起使用。这意味着您不必担心在每个后续行中添加 4 空格缩进来说明 let，从而使更长的函数更容易键入，或者在许多情况下，复制粘贴（因为原始来源可能会赢'没有正确的缩进）：

λ: :{
 | addTwo :: Int -> Int -> Int
 | addTwo x y = x + y
 | :}
λ: addTwo 1 2
3

更新

您也可以使用:set +m 打开多行输入模式，然后单独输入let，按Enter，然后粘贴定义而无需缩进。

但是这似乎不适用于某些代码块，例如：

class Box a where
  mkBox :: a -> Boxes.Box

但是:{、:} 技术可以。