Haskell类型签名和Monads

Question

我在haskell中创建了一个函数，它应该列出列表的大小; 并且它应该创建具有给定大小的Data.Vector.Mutable.MVector，用向量的内容填充向量并返回此向量。

TL; DR

• 我想知道为什么我提供的类型签名不起作用。 我错过了什么使它作为类型签名不可接受？
• 在使用我的类型签名时，是否可以创建一个执行上面指定的功能？
• 如何根据我编写的代码解释编译器生成的类型签名？

这是功能：

vecFromList lst sz = MV.new sz >>= (\vec -> fillV (zip [0..sz - 1] lst) vec) where
  fillV [] vec = vec 
  fillV ((i, v):xs) vec = MV.write vec i v >> fillV xs vec

我写的大部分都没有真正试图理解他们做了什么（最后一行），因此，我无法想出合适的类型签名。 但是，编译器介入以保存这一天：

编译器生成的类型签名

vecFromList
  :: (PrimMonad (MVector t), PrimState (MVector t) ~ t) =>
     [b] -> Int -> MVector t b

我听到有人说Wat吗？ 哦，那只是我，无论如何......在我尝试编译它之前，这是我认为应该工作的类型签名：

我认为应该工作的那个

vecFromList :: PrimMonad m => [t] -> Int -> MV.MVector (PrimState m) t

这一点应该是显而易见的，这种看似简单的外观类型签名看起来与我想要的功能完全一样，实际上并不起作用。 为了提出类型签名，我使用了矢量模块中我认为与它类似的一些其他函数的类型签名，例如：

Data.Vector.Mutable.read
  :: PrimMonad m => MVector (PrimState m) a -> Int -> m a

现在，我仍然是相对较新的haskell，所以我仍然习惯于习惯语言中使用的符号和符号，特别是接近理解为什么看起来简单的任务必须成为Monands的复杂事物。 例如， MVector有这种MVector :: * -> * -> *:的目的是什么MVector :: * -> * -> *: ??

Answer 1

你快到了。 您期望的类型签名是正确的，除了生成的MVector需要在monad m ：

vecFromList :: PrimMonad m => [t] -> Int -> m (MV.MVector (PrimState m) t)

fillV函数应该有类型

fillV :: [(Int, t)]
             -> MV.MVector (PrimState m) t -> m (MV.MVector (PrimState m) t)

但是你[]情况给出了向量而没有return它return到m类型。 这是一个工作版本：

vecFromList :: PrimMonad m => [t] -> Int -> m (MV.MVector (PrimState m) t)
vecFromList lst sz = MV.new sz >>= (\vec -> fillV (zip [0..sz - 1] lst) vec) where
  fillV [] vec          = return vec
  fillV ((i, v):xs) vec = MV.write vec i v >> fillV xs vec

和一个工作的例子：

> V.create $ vecFromList [1,2,3] 3
fromList [1,2,3]

请注意，您不实际修改vec在fillV功能，你只引用它，你可以使用for_功能从Data.Foldable ，而不是明确地写一个循环。 我通常在do块中编写可变向量代码，因为它使我更清楚：

vecFromList2 :: PrimMonad m => [t] -> Int -> m (MV.MVector (PrimState m) t)
vecFromList2 l n = do
  v <- MV.new n
  for_ (zip [0..n - 1] l) $ \(i,a) -> MV.write v i a
  return v

不幸的是，在Haskell中使用可变向量会变得棘手，需要练习。 使用TypedHoles和PartialTypeSignatures可以提供帮助。

原因MVector具有PrimState m ，因此它可以与ST或IO 。 你可以在这里找到它的解释。