GHCはテールコールでIOアクションを最適化できますか？

Question

GHCはデフォルトで次の関数でテールコール最適化を実行しますか？それについての奇妙なことは、IOアクションを再帰的に定義していることですが、TCOできない理由はわかりません。あなたのコードが

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

と等価であるので

import Control.Concurrent.MVar 

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

Answer 1

呼び出しは、実際に末尾位置では発生しません。しかし、ghc -Oを実行してオプティマイザをオンにすると、-ddump-simplオプションはGHCの中間コードの出力を表示し、実際にループにコンパイルされる末尾再帰関数に最適化します。

したがって、GHCはデフォルトでこれを最適化しません。 -Oオプションが必要です。

（GHCバージョン6.10.1での実験）