haskell - Data.Map 与 Data.Map.Strict 和 Data.Map.Lazy

Question

我了解 Data.Map.Lazy 和 Data.Map.Strict 是不同的。但是，当您导入 Data.Map 时，您究竟在导入什么：严格的、惰性的或组合？

Answer 1

懒惰的那个。看文档_

 module Data.Map.Lazy

意味着它正在重新导出所有懒惰的东西。它曾经提供一些额外的功能，但这些都被弃用了，Data.Foldable而Map.

编辑：链接页面上文档的第二行指出它也重新导出了惰性版本。

从键到值（字典）的有序映射的有效实现。

该模块重新导出了 value 惰性 Lazy API，以及 Strict 中的几个 value strict 函数。

但是，它提到的功能都已弃用。