haskell - 你如何在 Haskell 中创建一个通用的 memoize 函数？

Question

我看过the other post about this ，但是在 Haskell 中有没有一种干净的方法呢？

作为第二部分，它也可以在不使函数单子(monad)化的情况下完成吗？

Answer 1

hackage 上的包 data-memocombinators 提供了许多可重用的内存例程。基本思想是:

type Memo a = forall r. (a -> r) -> (a -> r)

IE。它可以内存a中的任何功能。然后该模块提供一些原语(如 unit :: Memo () 和 integral :: Memo Int )，以及用于构建更复杂的备忘录表的组合器(如 pair :: Memo a -> Memo b -> Memo (a,b) 和 list :: Memo a -> Memo [a] )。