Haskell 可变向量没有映射、折叠等......更高级别的功能？

我不知道这些类型的设计者在实现可变版本时的想法是什么，但我看到的问题与懒惰和对一致性的期望有关。

假设我创建了一个包含三个整数的可变向量，映射到它们上，然后修改原始向量。当我查看地图的输出时，我会看到旧值的双倍还是新值的双倍？答案是，这取决于我在修改之前查看了哪些元素，以及之后查看了哪些元素。考虑：(* 2)

main = do
  v <- V.replicate 3 1
  let doubled = map (* 2) v
  putStrLn "First doubled number is: " ++ show (head doubled)
  set v 10
  putStrLn "Sum of doubled numbers is: " ++ show (sum doubled)

虽然我们在定义明确的块中执行了我们的操作，但 thunks 的缓存意味着 的第一个元素 will 是 2，因为在我们将整个向量设置为 10 之前，我们必须强制它才能打印它，但 的最后两个元素将是 20，所以我们的总和是 42：既不是原始向量的两倍之和， 也不是最终向量的两倍之和。我们设法观察到一个不一致的状态，我们的系统作为一个整体从未打算处于这种状态，因为我们试图将一个可变向量视为一个不可变的列表，试图懒洋洋地覆盖它。doubleddoubledmap