Simple Haskell IORef - “无法与`Int'匹配'IO Int'类型” - 看不到它有什么不同

Question

我想在Haskell中使用IORef来创建一个简单的随机数生成器来存储可变变量。我的想法是，我可以初始化种子，然后根据种子生成数字，并为下一个随机int存储新种子。

完整的错误，我得到的是：

random2.hs:9:17: 
    Couldn't match type `IO Int' with `Int' 
    Expected type: IO (IORef Integer) 
        -> (IORef Integer -> IO Int) -> Int 
     Actual type: IO (IORef Integer) 
        -> (IORef Integer -> IO Int) -> IO Int 
    In a stmt of a 'do' block: seed <- newIORef 7 
    In the expression: 
     do { seed <- newIORef 7; 
      randomGen (readIORef seed) } 
    In an equation for `getRandom': 
     getRandom 
      = do { seed <- newIORef 7; 
       randomGen (readIORef seed) } 

random2.hs:10:17: 
    Couldn't match type `(,) Int' with `IO' 
    Expected type: IO Int 
     Actual type: (Int, Int) 
    In the return type of a call of `randomGen' 
    In a stmt of a 'do' block: randomGen (readIORef seed) 
    In the expression: 
     do { seed <- newIORef 7; 
      randomGen (readIORef seed) } 

random2.hs:10:28: 
    Couldn't match expected type `Int' with actual type `IO Integer' 
    In the return type of a call of `readIORef' 
    In the first argument of `randomGen', namely `(readIORef seed)' 
    In a stmt of a 'do' block: randomGen (readIORef seed) 
Failed, modules loaded: none. 

我不明白怎么就不能匹配的类型 - 我明确了randomGen采取/返回一个int。这里是我的代码：

module Main where 
    import Data.IORef 

    randomGen :: Int -> (Int, Int) 
    randomGen x = (x,x+1) 

    getRandom :: Int 
    getRandom = do 
     seed <- newIORef 7 
     randomGen (readIORef seed) 

任何想法这里发生了什么？

感谢，

更新代码：

module Main where 
    import Data.IORef 
    import Control.Monad 

    randomGen :: Int -> (Int, Int) 
    randomGen x = (x,x+1) 

    getRandom :: IO Int 
    getRandom = do 
     seed <- newIORef 7 
     liftM (fst (randomGen (readIORef seed))) 

Answer 1

类型IO Int和Int在Haskell中完全不同。这适用于任何其他类型的表单，如Maybe Int或Either String Int。这是Haskell的类型系统设计的一部分，使它非常强大。你可以将这种形式的任何东西都想象成一种容器，它是通过这种类型进行参数化的。因此，你可以这样做

getRandom :: IO Int 
getRandom = do 
    seed <- newIORef 7   -- IO (IORef Int) 
    g <- readIORef seed   -- IO Int 
    let (x, newG) = randomGen g -- (Int, Int) 
    writeIORef seed newG   -- IO() 
    return x      -- IO Int 

然而，由于种子每次调用后丢弃，这将始终返回相同的值。我很好奇你为什么要采用这种方法生成随机数字，因为MonadRandom包中有这么好的API。请参阅this answer我写了一段关于如何使用Rand monad和this回答一个更深入的解释它如何工作的例子。

Answer 2

尝试：

module Main where 
import Data.IORef 
import Control.Monad 
import Data.Tuple(fst,snd) 

randomGen :: Int -> (Int, Int) 
randomGen x = (x,x+1) 

getRandom :: IO Int -> IO (Int,Int) 
getRandom x = do 
    y <- x 
    seed <- newIORef y 
    liftM randomGen $ readIORef seed 

在这一点上，使用liftM fst上getRandom的输出，以获得随机数和liftM snd得到种子为下一个电话...哦，顺便说一句System.Random有randoms生成一个无限的随机数列表（或其他任何东西Random实例）。没有重新发明轮子的意义。