任务是创建动态链接库，它封装了数据库的辛勤工作。由于一些设计限制，我有一个定义的接口，其中包含许多功能。每个函数都接受一个参数并在数据库查询中使用它们。数据库连接应该在 dll 中，应用程序不想打扰是否有任何连接。
初始化数据库连接然后将其提供给每个函数而不显式传递它的最佳方法是什么。
当然，总的来说，我想使用 State monad。但 dll 并非设计为只有一个入口点。
【问题讨论】：
init 和close，其他是数据获取者和数据库更新者。并且所有函数都不应该直接处理数据库处理程序。
听起来您正在尝试创建一个可以从其他语言调用的 DLL。如果是这样，那么您的所有功能都将存在于 IO monad 中。所以你可以使用 IORef 来存储数据库连接对象。
已更新（参见下面的 cmets）
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
所以大概类似的东西适用于数据库连接。是的，这是在使用邪恶的 unsafePerformIO，但有时你必须是邪恶的。
【讨论】：
IORef。问题是他需要实现一个特定的 API，而他不能将 IORef 提供给函数，因此他需要某种方式来共享全局 IORef
您可以使用unsafePerformIO“作弊”：
{-# NOINLINE globalVar #-}
globalVar :: MVar Integer
globalVar = unsafePerformIO (newMVar 17)
我对固定 API 表示哀悼。
【讨论】：