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 -> IntPrelude|&nbsp; &nbsp; &nbsp;addTwo x y = x + y&nbsp;Prelude| :}Prelude> addTwo 4 711请注意，您也可以将其压缩到一行：Prelude> let addTwo :: Int -> Int -> Int ; addTwo x y = x + y您可以在文档提示部分的“ 交互评估”中找到有关与ghci交互的更多信息。

Answer 2

通过启动GHCI并输入:set +m以下命令来解决此问题：Prelude> :set +mPrelude> let addTwo :: Int -> Int -> IntPrelude|&nbsp; &nbsp; &nbsp;addTwo x y = x + yPrelude|&nbsp;Prelude> addTwo 1 34繁荣。这里发生的事情（我主要是在和您聊天，在通过“ 了解您的Haskell”工作时，正在谷歌上寻求帮助的人）是GHCI是一个交互式环境，您可以在其中动态更改函数名称的绑定。您必须将函数定义包装在一个let块中，以便Haskell知道您将要定义一些内容。这些:set +m东西是多行:{ 代码 :}构造的简写。空格在块中也很重要，因此您必须在类型定义之后缩进四个空格，以说明函数中的四个空格let。

Answer 3

从GHCI版本8.0.1开始，let不再需要在REPL上定义功能。因此，这应该适合您：λ: addTwo x y = x + yλ: addTwo 1 23λ: :t addTwoaddTwo :: Num a => a -> a -> aHaskell的类型推断提供了适用于浮点数的通用类型化：λ: addTwo 2.0 1.03.0如果您必须提供自己的键入内容，则似乎需要let结合使用多行输入（用于:set +m在GHCI中启用多行输入）：λ: let addTwo :: Int -> Int -> Int&nbsp;|&nbsp; &nbsp; &nbsp;addTwo x y = x + y&nbsp;|&nbsp;λ: addTwo 1 23但是，如果Int由于非多态输入而尝试传递除a以外的任何内容，则会出现错误：λ: addTwo 2.0 1.0<interactive>:34:8: error:&nbsp; &nbsp; • No instance for (Fractional Int) arising from the literal ‘2.0’&nbsp; &nbsp; • In the first argument of ‘addTwo’, namely ‘2.0’&nbsp; &nbsp; &nbsp; In the expression: addTwo 2.0 1.0&nbsp; &nbsp; &nbsp; In an equation for ‘it’: it = addTwo 2.0 1.0