我定义了以下函数:
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
那么,新的问题是为什么?