haskell 中的顶级可变变量

Question

我有一个 C++ 程序多次调用我的 Haskell 程序。但是第一次调用的一些数据需要为后续调用保留。我知道 Haskell 默认不支持顶级可变变量，但我想我仍然需要类似的东西。 （将我的状态写入文件并将其读回可以，但我想要更原生的东西）

在 hackage 中，我发现了 global-variables 或 safe-globals 之类的库，但它们似乎都相当老旧，并且依赖于我已经使用的旧版本的包。 这个问题有规范的解决方案吗？

理想情况下，我希望拥有顶级功能：

getState :: IO Mystate
writeState :: Mystate -> IO ()

（我想我还应该提到，一切都是在 FFI 中的一次 hs_init() 调用中完成的，因此 Haskell 程序在调用之间不会真正退出）

Answer 1

您可以创建一个全局可变变量：

myGlobalVar :: IORef Int
{-# NOINLINE myGlobalVar #-}
myGlobalVar = unsafePerformIO (newIORef 17)

haskell wiki 将此作为当前的标准解决方案，同时还讨论替代方案。