Haskell使用randomR生成随机数报错：No instance for (Random (IO a0))

错误原因 #

你犯了两个核心错误：

• randomR是纯函数，调用randomR (0,9) (mkStdGen 66)会直接返回(Int, StdGen)类型的纯值，不是IO动作。而do块里的<-语法只能用来绑定IO（或其他Monad）动作的执行结果，不能绑定纯值。
• 错误提示里的No instance for (Random (IO a0))是Haskell试图将纯值强制解释为IO类型时触发的类型不匹配错误。

修正方案 #

根据你的需求，有两种正确实现方式：

方式1：使用固定种子的纯随机（每次运行结果相同） #

因为是纯值，用let替代<-绑定：

randomMessage :: IO String
randomMessage = do
    let index = fst $ randomR (0,9) (mkStdGen 66)
    return ("This is message " ++ show index)

或者更简洁的写法：

randomMessage :: IO String
randomMessage = let index = fst $ randomR (0,9) (mkStdGen 66)
                in return ("This is message " ++ show index)

方式2：使用真正的随机数（每次运行结果不同） #

用你注释掉的randomRIO（它是IO动作，返回随机数），这时候用<-是正确的：

randomMessage :: IO String
randomMessage = do
    index <- randomRIO (0,9)  -- 范围调整为你需要的0-9
    return ("This is message " ++ show index)

补充说明 #

• randomR需要手动传入生成器，适合需要可复现随机序列的场景。
• randomRIO会自动使用系统随机源生成种子，适合需要非固定随机结果的场景。

内容的提问来源于stack exchange，提问作者Nagashayan reddy