QuickCheckを使用して、関数が終了することを確認する関数をテストしたい(無限再帰や例外のスローなどはしない)。これは私が現時点で行っていることです:QuickCheckを使用して関数が終了するかどうかをテストするにはどうすればよいですか?
f :: Int -> Int -> Int
prop_fTerminates :: Int -> Int -> Bool -- say
prop_fTerminates x y = f x y `seq` True
より良い(表現力豊かで慣用的な)方法がありますか?
はい、問題は、実際にはモンテカルロ計算の結果である、 'f'の出力については妥当な不変量を表現できないということです。 –