haskell - Haskell 中 IORef 的行为

Question

在 GHCI（版本 9.0.1）中，以下给出了我所期望的：

ghci> import Data.IORef
ghci> ref <- newIORef ([] :: [Int])
ghci> modifyIORef ref (1:)
ghci> readIORef ref
[1]

但是当我以这种方式尝试同样的事情时：

ghci> import Data.IORef
ghci> ref = newIORef ([] :: [Int])
ghci> ref >>= \r -> modifyIORef r (1:) 
ghci> ref >>= readIORef
[]

返回一个空列表，就好像修改从未发生过一样。为什么会这样？输出不应该相同吗？

Answer 1

当你写ref = newIORef ...的时候，类型ref是IO (IORef [Int])（因为那是newIORef返回的类型）。每次执行该 IO 操作（通过将其包含在 GHCI 评估的 IO 操作中）时，您都会获得一个新的 IORef。

相反，当您编写 时ref <- newIORef，您是在要求 GHCI 执行 IO 操作，产生一个IORef [Int]，并将生成的 IORef 保存到变量ref。然后你对它执行的所有后续操作都在同一个 IORef 上执行。