Rủi ro khi sử dụng unsafeperformIO trên randomIO

Question

Tôi đang tạo ứng dụng Haskell tạo ra một số ngẫu nhiên trên một vòng lặp vô hạn (chỉ khi có yêu cầu của khách hàng). Tuy nhiên, tôi chỉ nên sử dụng các hàm thuần túy cho mục đích đó. Có an toàn để bọc randomIO với unsafeperformIO mà không có bất kỳ sự ổn định hoặc hiệu suất quyết liệt nào không?

Answer 1

Bất kỳ việc sử dụng nào của unsafePerformIO phải được chứng minh bằng bằng chứng rằng giá trị kết quả vẫn thuần túy. Sự khắt khe của bằng chứng là tùy thuộc vào bạn và tầm quan trọng của công việc. Ví dụ: việc sử dụng thảm họa unsafePerformIO và randomIO này phải an toàn vì bạn có thể chứng minh rằng khi slowTrue trả lại bất kỳ thứ gì, số này sẽ trả về 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 

Định nghĩa hấp dẫn sau đây của một toàn cầu, các biến thể ngẫu nhiên là không an toàn:

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

Vấn đề là cùng một biểu thức bây giờ sẽ mang lại giá trị khác nhau:

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

in tại đây:

-7203223557365007318 
-7726744474749938542 

(ít nhất là khi được biên soạn mà không tối ưu hóa - nhưng điều đó chỉ nhấn mạnh sự mong manh của việc sử dụng không phù hợp của unsafePerformIO).