有没有办法在 Haskell 中记住一个值？

Question

我在 Haskell 中有以下功能：

memdb = -- load the contents of a database into memory as a Map

然后我有以下行：

map (\x -> memdb ! x) values

我希望 memdb 只生成一次 Map，而不是在 map 的每次迭代中生成。我可以这样做：

make_memdb = -- equivalent to memdb in previous example
memdb <- make_memdb
map (\x -> memdb ! x) values

但这意味着我必须将memdb 传递给每个使用它的函数。有什么办法可以：

一个。避免在每次调用时重新计算memdb OR

b.将make_memdb 中生成的值保存为常量，这样我就可以避免将它传递给每个使用它的函数？

Answer 1

由于您的地图来自数据库，这意味着它不能是常数，因为它在您的应用程序运行之间可能会有所不同。

但这意味着我必须将 memdb 传递给每个使用它的函数。

是的，但是有一些工具可以让这件事变得不像听起来那么糟糕。特别是，这听起来像是 the reader monad! 的完美用例！

Reader monad 通常在您有一些价值（例如配置）时使用，您希望在程序开始时加载它，然后能够在您的程序中访问它，而无需一直显式地传递它。下面是一个简短的示例，说明您将如何使用它：

main = do
    memdb <- make_memdb -- Get the memdb from the database once and for all
    runReaderT foo memdb

foo = do
    memdb <- ask -- Grab the memdb. Will not reload from the database
    liftIO $ putStrLn "Hello, world" -- IO actions have to be lifted
    -- [...]

另见：

• Real World Haskell: The reader monad
• Learn You a Haskell: Reader? Ugh, not this joke again

Answer 2

您似乎想通过IO 获得memdb 作为避免传递更多参数的一种方式，对吗？然后你问你是否可以（A）定义memdb，暗示它将是一个顶级函数，没有从数据库加载数据的开销，或者（B）你是否可以保存加载的全局范围的数据结构。

这两者都可以使用IORef 和unsafePerformIO 来定义顶级可变全局变量。我不建议你这样做。重构既笨拙又烦人。话虽如此，我还是会告诉你怎么做：

假设你有一个函数：

make_memdb :: IO (Map K V)

你可以声明一个顶级的可变变量：

import Data.Map as M
import Data.IORef

mRef :: IORef (Map K V)
mRef = unsafePerformIO $ newIORef M.empty
{-# NOINLINE mRef #-}

main = do
    m <- make_memdb
    writeIORef mRef m
    ... do  stuff using mRef ...

stuffUsingMRef ... = do
    memdb <- readIORef
    let vs = map (memdb !) values
    return vs

请注意，您的函数将永远存在于IO。这是因为您需要IO 才能读取您放置memdb 的全局可变变量。如果你不喜欢这样，也不喜欢传递参数，那就学习 state monad！我相信另一个答案会讨论这个问题，这是正确的解决方案。

Answer 3

You can, but you shouldn't. 另见other people's opinions on a similar question。