GHCi中特殊情况下的函数定义

Question

来自Haskell tutorial：

  

我们可以根据情况编写整数函数。

-- Compute the sum of the integers from 1 to n.
sumtorial :: Integer -> Integer
sumtorial 0 = 0
sumtorial n = n + sumtorial (n-1)

然而，这是我尝试时会发生的事情：

$ ghci
GHCi, version 8.0.1: http://www.haskell.org/ghc/  :? for help
Prelude> foo 0 = print 999
Prelude> foo n = print n
Prelude> foo 0
0

我错过了什么？

Answer 1

要在GHCi中完全按照您的定义使用您的定义（即在单独的行中使用多个等式），您需要通过:{和:}分隔符在GHCi中使用多行输入：

GHCi> :{
GHCi| foo 0 = print 999
GHCi| foo n = print n
GHCi| :}
GHCi> foo 0
999

一种替代方法是使用+m选项在会话的其余部分进行多行输入。但是，在这种情况下，您还需要一个明确的let，因为没有它，GHCi将无法确定您是否要继续定义：

GHCi> :set +m
GHCi> let foo 0 = print 999
GHCi|     foo n = print n
GHCi| 
GHCi> foo 0
999

（您可以使用+m关闭:unset +m。）

另一种可能性是完全避免换行，并使用明确的括号和分号：

GHCi> foo 0 = print 999; foo n = print n
GHCi> foo 0
999

在多行选项之间，我个人更喜欢明确的分隔符而不是+m，因为它对我通常如何定义我的定义所需的更改更少，如果我从某处粘贴代码，则更有可能立即工作其他

至于为什么你输入它的方式不起作用，这是因为，除非你使用多行输入，否则在单独的GHCi行中绑定到相同的名称会相互影响：

GHCi> x = 3
GHCi> x = 4
GHCi> x
4

如果我们注意到我们从let - 表达式链中获得相同的行为，这似乎就不那么令人惊讶了：

GHCi> let x = 3 in let x = 4 in x
4

Answer 2

ghci是一个交互式工具，因此可以在已定义函数时重新定义函数。在您的情况下，它不会将其视为两行函数定义，而是两次尝试定义它。因此f n = print n会覆盖f 0 = print 999而不是完成它。

要在ghci中输入多行语句，有一种特殊的语法。你需要做

Prelude> :{
Prelude> let foo 0 = print 999
Prelude>     foo n = print n
Prelude> :}