randomIOでunsafeperformIOを使用する場合のリスク

Question

無限ループで乱数を生成するHaskellアプリケーションを作成しています（クライアントから要求された場合のみ）。しかし、私はその目的のために純粋な関数を使うべきです。劇的な安定性やパフォーマンスのリスクなしにrandomIOをunsafeperformIOに改行するのは安全ですか？

Answer 1

unsafePerformIOの使用は、結果値がまだ純粋であるという証拠によって正当化されるべきです。証拠の厳格さはあなた次第であり、仕事の重要性です。例えば、この哀れな使用unsafePerformIOとrandomIOは、がとなるので、安全でなければなりません。slowTrueが何かを返すと、それはTrueを返します。

import System.Random 
import System.IO.Unsafe 
import Data.Int 

slowTrue = unsafePerformIO $ go 
    where 
    go = do 
     x1 <- randomIO 
     x2 <- randomIO 
     if ((x1 :: Int16) == x2) then return True else go 

グローバル、おそらく確率変数の以下の魅力的な定義は安全ではありません。

main = do 
    print (rand True) 
    print (rand True) 

プリント：

rand :: Bool -> Int 
rand True = unsafePerformIO randomIO 
rand False = 0 

問題は、同じ式が今異なった値が得られるということですここに：

-7203223557365007318 
-7726744474749938542 

（少なくとも、最適化なしでコンパイルされたとき - しかし、それはちょうどunsafePerformIOの不適切な使用の脆弱性を強調する）。