為什么 MVector 不可折疊？

Question

我可以理解為什么MVector類型（來自vector包）不實例化Foldable類型 class 嗎？ 我想人們經常需要迭代向量。 我可以將其freeze為Data.Vector ，然后進行迭代。 但我討厭改變這些東西，好像我們對String 、 Text 、 Bytestring等做得不夠。

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

Answer 1

從可變向量中讀取需要在關聯的 monad 中執行效果 - IO或ST s 。 但是Foldable要求你能夠產生一個純粹的答案； 如果有實例，我們至少必須能夠實現

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

即使調用者選擇了沒有提到IO或ST的b 。 哎呀！