haskell - 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 交互的更多信息。文档部分。