haskell - 为什么 MVector 不可折叠？

Question

我可以理解为什么MVector类型（来自vector包）不实例化Foldable类型类吗？我想人们经常需要迭代向量。我可以freeze它Data.Vector然后迭代。String但我讨厌改变这些东西，好像我们对, Text, Bytestrings 等做得不够。

就我而言，我想打印每个元素。

标签： haskell

Answer 1

从可变向量中读取需要在关联的 monad 中执行效果 -IO或ST s. 但Foldable要求你能够给出一个纯粹的答案；如果有实例，我们至少必须能够实现

foldr :: (a -> b -> b) -> b -> MVector s a -> b

即使来电者选择了一个b没有提及IO或ST的。哎呀！