haskell - Haskell 中用于严格数据结构的库

Question

关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。












我们不允许提出有关书籍、工具、软件库等建议的问题。您可以编辑问题，以便可以用事实和引用来回答它。


6年前关闭。







Improve this question




确实存在哪些实现严格数据结构的库？具体来说，我正在寻找严格的列表和严格的集合。

免责声明:

我知道 deepseq。它非常有用，但是每次使用 deepseq 时都会增加遍历整个数据结构的开销(可能不止一次)。

我知道严格的类似容器的数据结构不会
确保它包含的所有内容都将得到全面评估，但结构
本身应该是严格的，例如:

data StrictList a = !a :$ !(StrictList a) | Empty

(这里，包含的元素在 WHNF 中，可能没有完全评估，但列表的结构是。例如，无限列表将是非终止值。)

我知道关于 hackage 的“严格”包，但它有一个非常
有限的一组严格的数据结构。它既不包含严格
列表或集合。

自己编写严格的列表似乎非常容易(我喜欢 ghc 的
派生 Functor、Traversable 和 Foldable 的扩展，顺便说一句。)，但它
似乎在单独的库中完成会更好。和
集的有效实现对我来说似乎并不那么简单。

Answer 1

containers 包(与 ghc 一起提供)很快就会有严格的 Set 和 Map 变体(我不确定它们是否会包含在 ghc-7.4 中，但有理由希望)。因此，严格的 Sets 和 Maps 的有效实现正在进行中。正如您所说的，严格的列表仍然是一个关于 hackage 的软件包，提供它们会很好，所以不是每个人都必须自己做。你还需要什么？