haskell global var

Question

任务是创建动态链接库，它封装了数据库的辛勤工作。由于一些设计上的限制，我有一个定义好的界面，它由许多功能组成。每个函数都接受一个参数并在数据库查询中使用它们。数据库连接应该在DLL里面，应用程序不想打扰有没有连接。

什么是最好的方式来初始化数据库连接，然后把它给每个函数，而不明确传递它。

当然，一般来说我想使用状态monad。但是dll的设计并不是有一个入口点。

Answer 1

可以 “欺骗” 使用unsafePerformIO：

{-# NOINLINE globalVar #-} 
globalVar :: MVar Integer 
globalVar = unsafePerformIO (newMVar 17) 

我对固定API慰问。

Answer 2

这听起来像你正试图创建一个可以从其他语言调用的DLL。如果是这样，那么你的所有函数将存在于IO monad中。所以你可以使用IORef来存储数据库连接对象。

更新（见下面的评论）

GHC与全球随机数发生器状态类似的问题。下面是从System.Random相关的源代码：

-- |Gets the global random number generator. 
getStdGen :: IO StdGen 
getStdGen = readIORef theStdGen 

theStdGen :: IORef StdGen 
theStdGen = unsafePerformIO $ do 
    rng <- mkStdRNG 0 
    newIORef rng 

所以大概类似的东西会为DB连接工作。是的，这是使用邪恶不安全的PERFORMIO，但有时你只是邪恶。