GHC是否能够尾部调用优化IO操作？

Question

GHC是否会默认对以下函数进行尾调优？唯一奇怪的是它递归地定义了一个IO操作，但我不明白为什么这不能降低总拥有成本。

import Control.Concurrent.MVar

consume :: MVar a -> [a] -> IO ()
consume _ [] = return ()
consume store (x:xs) = do putMVar store x
                          consume store xs

Answer 1

因为您的代码等同于

consume store (x:xs) = putMVar store >> consume store xs

调用实际上不是在尾部位置发生的。但是，如果运行ghc -O并打开优化器，-ddump-simpl选项将显示GHC中间代码的输出，并且它确实会优化成一个尾递归函数，该函数将编译成一个循环。

因此，答案是GHC在默认情况下不会对此进行优化；您需要-O选项。

(使用GHC版本6.10.1进行的实验。)