Risiken der Verwendung von unsafeperformIO auf randomIO

Question

Ich erstellen eine Haskell-Anwendung, die eine Zufallszahl in einer Endlosschleife generiert (nur wenn von einem Client angefordert). Allerdings sollte ich für diesen Zweck nur reine Funktionen verwenden. Ist es sicher, randomIO mit unsafeperformIO ohne drastische Stabilität oder Leistungsrisiko zu wickeln?

Answer 1

Jede Verwendung von unsafePerformIO sollte durch einen Nachweis gerechtfertigt werden, dass der resultierende Wert immer noch rein ist. Die Strenge des Beweises liegt bei Ihnen und der Wichtigkeit der Arbeit. Zum Beispiel sollte dieser erbärmliche Gebrauch unsafePerformIO und randomIO sicher sein, weil Sie beweisen können, dass, wenn slowTrue irgendetwas zurückgibt, es True zurückgibt.

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 

Die folgende verlockend Definition eines globalen, ist möglicherweise Zufallsvariablen nicht sicher:

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

Das Problem ist, dass der gleiche Ausdruck nun unterschiedliche Werte ergeben wird:

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

Drucke hier:

-7203223557365007318 
-7726744474749938542 

(zumindest wenn kompiliert ohne Optimierungen - aber das betont nur die Fragilität der unsachgemäßen Verwendung von unsafePerformIO).