为什么这个Haskell语句不能懒惰地评估？

Question

我定义了以下函数:

ex 1 x = 1
ex 0 x = 0
ex b x = b ** x

然后,当我执行以下操作时:

1 `ex` (sum [1..])

它试图计算无限序列的总和,而不是懒惰和返回1.为什么？

---

编辑:经过进一步调查,我发现如果我ex在文件中定义函数会发生懒惰,但如果我在GHCI中定义它则不会:

$ ghci
GHCi, version 6.8.2: http://www.haskell.org/ghc/  :? for help
Loading package base ... linking ... done.
Prelude> let ex 1 x = 1
Prelude> let ex b x = b ** x
Prelude> ex 1 (sum [1..])
<interactive>: out of memory (requested 1048576 bytes)

如果我将ex定义拉入文件(在本例中为test.hs):

$ ghci
GHCi, version 6.8.2: http://www.haskell.org/ghc/  :? for help
Loading package base ... linking ... done.
Prelude> :load test.hs 
[1 of 1] Compiling Main             ( test.hs, interpreted )
Ok, modules loaded: Main.
*Main> ex 1 (sum [1..])
1.0

那么,新问题是为什么？

Answer 1

在GHCi中,每个let语句都引入了一个新的定义ex,而不是您期望的多个模式案例.所以它会挂起,因为当你ex 1 (sum [1..])之后输入时,只有最终ex b x = b ** x版本存在.

如果要在GHCi中定义具有多个模式案例的函数,则需要将其放在单个let语句中,如下所示:

let ex 1 x = 1; ex 0 x = 0; ex b x = b ** x

这同样适用于通常跨多行写入的任何其他内容,例如do符号.例如,这样的函数:

f x = do
    y <- get
    put (x + y)
    return y

必须在GHCi中这样写:

let f x = do { y <- get; put (x + y); return y }