如何控制 Haskell (GHC) 中的自动记忆？

Question

这是一个打印前 40 个斐波那契数的小程序三次 -

module Main where

fib :: Int -> Int
fib 1 = 1
fib 2 = 1
fib n = fib (n-1) + fib (n-2)

main :: IO ()
main = run >> run >> run
  where
    run = mapM_ (print . fib) [1..40]

如果我用ghc Main.hs编译它，那么“运行”的计算部分被GHC保存，所以执行run的时间与运行一次大致相同。这真是一个惊喜！我的印象是一元效应不会像这样自动记忆。

另外，如果我用ghc -O2 Main.hs 编译它，那么记忆就会丢失。 （至少在我的机器上使用 ghc 7.10.3）

我如何预测什么时候会被记住？某处是否有一些记录在案的经验法则？这怎么和unsafePerformIO之类的玩？

Answer 1

这里run 是一个常量表达式。因此，与任何其他常量表达式一样，它只被评估一次。哦，它编码的 I/O 操作被执行 3 次，但表达式（或者更确切地说，它的子表达式）只计算一次。

我的猜测（这只是一个猜测）是不命名它可能会导致它每次都被重新评估。如

main = do
  mapM_ (print . fib) [1..40]
  mapM_ (print . fib) [1..40]
  mapM_ (print . fib) [1..40]

可能会多次评估它。但我不是 100% 确定。

现在，如果run 是一个函数：

main = run 40 >> run 40 >> run 40
  where
    run n = mapM_ (print . fibs) [1..n]

然后它会可能评估多次。我认为 GHC 会避免保留这样的任意函数调用的结果。