为什么未装箱的数组不是可折叠的实例？

Question

确定要使用的正确数据容器在Haskell中可能有点棘手，因为我认为使用UArray 2D网格应用程序是合适的。 但是，据我所知， UArray不是foldable的实例（不在Data.Array.IArray也不在Data.Array.Unboxed ）。

是否有一个原因？ 我可以创建自己的辅助函数，但缺少foldable实例表明我可能不应该这样做。

Answer 1

我相信这样的实例是不可能的，因为它需要数组包含的数据类型中的额外约束，这不能用Foldable表示。 在单遍历中，我确实为未装箱和可存储的矢量定义了MonoFoldable实例。

编辑 ：要清楚，我所指的约束是Data.Vector.Unbox中的所有函数只有在Vector包含的值是Unbox的实例时才有效，而Foldable需要定义foldMap ， foldr等。对于所有可能的类型（如列表，盒装向量等类型的情况）。 Foldable类型类没有办法声明“包含的值必须满足这些约束”。 有了MonoFoldable ，就有了。