haskell global var

Question

La tâche consiste à créer une bibliothèque liée dynamiquement, qui encapsule le travail de base de données. En raison de certaines limitations de conception, j'ai une interface définie, qui consiste en de nombreuses fonctions. Chaque fonction prend un paramètre et les utilise dans une requête de base de données. La connexion à la base de données devrait être dans la DLL et l'application ne veut pas déranger s'il y a une connexion.

Quelle est la meilleure façon d'initialiser la connexion db, puis de la donner à chaque fonction sans la transmettre explicitement.

Bien sûr, en général, j'aimerais utiliser la monade d'État. Mais DLL n'est pas conçu pour avoir un point d'entrée.

Answer 1

Vous pouvez "tricher" en utilisant unsafePerformIO:

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

Mes condoléances pour l'API fixe.

Answer 2

Il semble que vous essayez de créer une DLL qui peut être appelée à partir d'autres langues. Si oui, alors toutes vos fonctions vivront dans la monade IO. Vous pouvez donc utiliser un IORef pour stocker l'objet de connexion à la base de données.

Mise à jour (voir les commentaires ci-dessous)

GHC a un problème similaire avec l'état global du générateur de nombres aléatoires. Voici le code source correspondant de 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 

Ainsi serait sans doute quelque chose de semblable travail pour la connexion DB. Oui, c'est en utilisant le mauvais dangerPerformIO, mais parfois vous devez juste être mauvais.