GHCI 在 Windows 上不是那么懒惰吗？答案

【问题标题】：GHCI not so lazy on Windows?GHCI 在 Windows 上不是那么懒惰吗？
【发布时间】：2013-04-20 03:36:43
【问题描述】：

在 Windows 上的 GHCI 中输入以下内容：

foldl (+) 0 $ take 100000000 $ map sqrt [1..]

给予：

<interactive>: out of memory

在编译（使用 GHC）和运行这个程序时：

main = do
    let score = foldl (+) 0 $ take 100000000 $ map sqrt [1..]
    putStrLn $ show score

打印预期的答案而不会出现内存错误。

这种行为有原因吗？在我看来，Haskell 的懒惰应该可以防止这一班轮崩溃。

【问题讨论】：

【解决方案1】：

只是 GHC 在做严格性和其他优化。 GHCi 不会做与完整编译器相同的优化。

特别是 foldl 正在构建太多的 thunk，而这些会导致您的溢出。但是，当我将其更改为严格的 foldl' 时，即使 GHCi 也可以处理它。您应该阅读this question 以了解更多关于这是为什么。

【讨论】：