haskell - 在 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

以下对全局变量(可能是随机变量)的诱人定义并不安全:

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

问题是同一个表达式现在会产生不同的值:

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

在这里打印:

-7203223557365007318
-7726744474749938542

(至少在没有优化的情况下编译时——但这只是强调了不恰当使用 unsafePerformIO 的脆弱性)。