haskell - Data.Vector.Mixed 的用途

Question

爱德华·克梅特 (Edward Kmett) 的 hybrid-vectors库中有两个主要模块:Data.Vector.Hybrid 和 Data.Vector.Mixed。有一个big article写在前者背后的动机。顺便提到了后者，但没有任何解释。我正在尝试找出它的用途。到目前为止我注意到两件事:

1. 有一个带有 Typeable 约束的 Mixed 类型类。我不明白 haddocks 中的解释，但似乎必须需要 Typeable 约束来恢复类型信息或在某个时刻安全地进行转换。
2. Vector 数据类型仅在底层 MVector 上进行参数化。这与 Hybrid 模块不同，后者通过两种向量类型和一个元组进行参数化。

如果有任何有用的见解或(甚至更好)用例的小示例，我将不胜感激。谢谢。

Answer 1

根据我的理解，Mixed 类型类将允许使用类型安全函数来解析、合并和折叠 Vector，而不是使用每个向量都是并发的进程。同时解析，因此声明 M.Vector g v M.Vector h m 以便在这些向量中找到单例点，然后使用 for MVector do |Stream.length g v && Stream h m > 在每个中找到一个单例并用此键折叠 key::mergeStreamwith k d -> Stream k i -> Stream d i 实例 Singleton key where key = Vector.singleton[ v->(v-> MVector v m) -> MVector m] do crosserwithkey g v => key.foldlwithkey g h