Haskell 有严格的 Set 容器吗？

【问题标题】：Does Haskell have a strict Set container?Haskell 有严格的 Set 容器吗？
【发布时间】：2017-09-25 20:00:32
【问题描述】：

如果我们查看containers 包。他们有Data.Map.Strict，但没有等效的Data.Set.Strict。它的存在有意义吗？

【问题讨论】：

【解决方案1】：

Set 是严格的。就像Map.Lazy 和Map.Strict 在key 中都是严格的。例如来自Data.Map.Lazy 模块：

该模块满足以下严格性：

关键参数被评估为 WHNF

原因很明显：要做出任何决定（即除了总是返回 EQ 之外的其他事情），compare 必须至少评估一个 WHNF 的参数（以在 sum 类型中分隔不同的构造函数，例如）

【讨论】：