haskell - `where` block 中的全局 CAF - Haskell

Question

我将实现一个函数，它接受一个Integer并输出一个惰性的、无限的coprime Integer列表。

coprime 2 = [1,3..]
coprime 3 = [1,2,4,5,7,8,....]

我预计这些列表将被多次访问，因此我希望将它们的值存储为 CAF。 (如果我错误地使用了这个术语，请原谅我)好的，没关系，因为这将由编译器自动完成(我认为)。但是，如何保证不同的输入具有相同的输出呢？例如:

coprime 2 = [1,3..]
coprime 4 = [1,3..]

如何确保这两种模式调用相同的 CAF，以便不必重新计算结果？

---

我的第一个想法是尝试实现coprime，以便coprime 2和coprime 4实际上调用具有相同参数的本地函数。一个最小的例子:

coprime n
  | n == 4    = realcoprime 2
  | otherwise = realcoprime n
    where
      realcoprime n = .....

但是对 coprime 的所有调用都共享与 realcoprime 关联的相同 CAF 值吗？如果是这样，它们是否会因为不在全局范围内而被过早地垃圾收集？

Answer 1

一般函数无法被内存( at least in general they can't )。如果您希望 Haskell 记住函数，这意味着它必须在运行时保存已看到的输入及其相应输出的字典，但函数调用涉及在该字典中查找!

但是，有一些库提供此功能:memoize和 data-memocombinators例如。例如，使用后者，我可以用以下命令记住您的示例

import qualified Data.MemoCombinators as Memo

coprime :: Integer -> [Integer]
coprime n = Memo.integral coprime'
  where
    coprime' = -- your definition here - can even use `coprime`

那么关于你的第二个问题，现在适合创建第二个函数，最终调用第一个函数。