純粋な機能のタイムアウト

Question

時間のかかる純粋な計算を "kill"するにはどうすればいいですか？試しました

import System.Timeout 

fact 0 = 1 
fact n = n * (fact $ n - 1) 

main = do maybeNum <- timeout (10^7) $ (return . fact) 99999999 
      print maybeNum 

ただし、これは動作しません。 (return . fact) 99999999をgetLineのような「実際の」IO関数に置き換えてください。これは期待どおりに機能します。

Answer 1

点は

return (fact 999999999) 

は直ちに戻り、タイムアウトをトリガしないことです。後で評価されるサンクを返します。あなたは、戻り値、

main = do maybeNum <- timeout (10^7) $ return $! fact 99999999 
      print maybeNum 

の評価を強制した場合（タイムアウトがスタックオーバーフローの前に起こるように、あなたは十分な大きさのスタックを提供する場合）

それがタイムアウトをトリガする必要があります。