如何嵌套未装箱的向量？

Question

这可能是一个非常基本的问题，但我已经四处搜索，似乎找不到答案。

我想使用未装箱的向量来表示一个二维列表。使用法线向量很容易做到这一点：

> import qualified Data.Vector as V
> V.fromList [V.fromList [1..5]]
[[1,2,3,4,5]]

但如果我尝试使用未装箱的向量：

> import qualified Data.Vector.Unboxed as U
> U.fromList [U.fromList [1..5]]

我收到以下错误：

• Non type-variable argument
    in the constraint: U.Unbox (U.Vector a)
  (Use FlexibleContexts to permit this)
• When checking the inferred type
    it :: forall a.
          (U.Unbox (U.Vector a), U.Unbox a, Num a, Enum a) =>
          U.Vector (U.Vector a)

我怀疑这与此有关：

> V.fromList [1..5]
[1,2,3,4,5]

而

> U.fromList [1..5]
[1.0,2.0,3.0,4.0,5.0]

但我似乎无法理解如何避免这种情况。

提前致谢！

Answer 1

好吧，我们可以按照编译器给出的建议开始：

> :set -XFlexibleContexts

但是：

> U.fromList [U.fromList [1..5]]

<interactive>:10:1: error:
    • No instance for (U.Unbox (U.Vector a0))
        arising from a use of ‘print’

这里的问题是你不能拆箱矢量（即使它是拆箱的数据）。要拆箱数据类型，您需要准确描述字节布局，包括其大小。但是向量没有大小。考虑例如

U.fromList [U.fromList [1..5], U.fromList [1..7]]

即使在 C 中，这也需要"jagged" matrix，通常用指针表示（= 装箱）。