GHC能夠尾隨調用優化IO操作嗎？

Question

GHC默認會對以下函數執行尾調用優化嗎？ 關於它的唯一奇怪的事情是它遞歸地定義了一個IO動作，但我不明白為什么這不是TCO。

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完成的實驗。）