如何保存函数的结果？

Question

只是一个普遍的问题：

我对Haskell（以及对此的一般编程）还不太陌生，并且我想知道无论该函数执行的频率如何，都可以保存该函数的结果。 当我执行函数时，我希望将结果保存在某个地方，这样无论我使用不同参数调用函数的频率如何，我都可以访问所有先前的结果。

任何帮助，将不胜感激。

Answer 1

我想您要问的是如何记忆功能。 记忆化意味着，一旦使用某个参数x,y,z对一个（可能是昂贵的）函数进行了评估x,y,z并在以后的某个时刻再次使用了完全相同的参数进行了评估，则处理器实际上不需要再次执行所有计算，而只是在某种表格中查找结果。

有简单的库可以做到这一点。 与MemoTrie ：

import Data.MemoTrie

f :: Int -> Int
f x = ... -- some expensive computation

fm :: Int -> Int
fm = memo f

现在，如果连续两次调用f 0 ，它将花费两次很长时间才能完成。 OTOH， fm 0第一次只会花费很长时间，第二次它将几乎立即给出结果。

如果您知道只想使用f memoised，也可以立即使用以下方式进行定义：

f :: Int -> Int
f = memo $ \x -> ...

Int -> Int只是一个示例签名。 这样的函数的结果可以是您想要的任何类型，并且参数也可以是几乎任何“离散”类型（任何整数，元组，字符串...）。

---

像大多数此类库一样， MemoTrie仅将结果存储在RAM中。 因此，当您的程序存在并且您完全重新启动它时，记录的结果将消失，并且毕竟需要重新计算。 持续存储结果涉及更多。 我不知道任何以自动方式执行此操作的库。 有点问题的是，已经尝试过参数的状态实际上并不是Haskell语义的一部分。

不过，我最近涉足的一个项目的工作非常相关。

https://github.com/leftaroundabout/lazy-hash