1

我正在尝试Data.Vector.Fixed用作函数的输入，并且正在努力在类型签名中指定向量的维度。

例如，我正在尝试执行以下操作：

acronym :: Vector (Peano 8) String -> String
acronym = foldl1 (++)

并因此使用定义的 peano 数指定向量的维度 (8) Data.Vector.Fixed.Cont。

但是，尝试编译它会产生类型不匹配错误：

...:12: error:
    * Expected a type, but
      `Vector (Peano 8) String' has kind
      `Constraint'
    * In the type signature:
        acronym :: Vector (Peano 8) String -> String
   |
61 | acronym :: Vector (Peano 8) String -> String
   |            ^^^^^^^^^^^^^^^^^^^^^^^

...:20: error:
    * Expected kind `* -> *', but `Peano 8' has kind `PeanoNum'
    * In the first argument of `Vector', namely `(Peano 8)'
      In the type signature: acronym :: Vector (Peano 8) String -> String
   |
61 | acronym :: Vector (Peano 8) String -> String

如何在类型签名中指定固定向量的大小？

4

1 回答 1

2

您可能正在寻找类似的东西：

{-# LANGUAGE DataKinds, FlexibleContexts, GADTs #-}
import qualified Data.Vector.Fixed as V
acronym :: (V.Vector v String, V.Dim v ~ 8) => v String -> String
acronym = V.foldl1 (++)

类型类约束Vector v String表明它v是一个具有 type 元素的向量String，而约束Dim v ~ 8确保它具有正确的大小。

它可以与特定的向量类型一起使用，例如盒装或连续向量，如下所示：

import qualified Data.Vector.Fixed.Boxed as BV
import qualified Data.Vector.Fixed.Cont as CV
eight = ["one","two","three","four","five","six","seven","eight"]
main = do
  print $ acronym (V.fromList eight :: BV.Vec 8 String)
  print $ acronym (V.fromList eight :: CV.ContVec 8 String)
于 2020-01-12T18:24:44.140 回答