Haskell：扫描一个数组

Question

我有一系列食物：

myArray :: Array Int Foo

我想使用类似于以下的功能从左到右“扫描”它：

getNextStep :: Bar -> Foo -> Bar

我想扫描 myArray 以生成 Bars 数组：

scanl :: (Bar -> Foo -> Bar) -> Bar -> Array Int Foo -> Array Int Bar

是的，这与前奏曲的scanl 非常相似。但是有数组的版本吗？我可以用例如构建一个吗？可遍历？ 谢谢

Answer 1

mapAccumL 适用于任何 Traversable。它比扫描更通用一点，但是如果您使用发出未更改状态值的阶跃函数，您或多或少会再次获得扫描。

> mapAccumL (s x -> (s + x, s)) 0 [1,2,3,4]
(10,[0,1,3,6])

如果您希望像使用 scanl 一样包含最后一个元素，则必须将其添加回数组中。 Traversables 通常没有办法添加元素，所以我们不能让它对任何可遍历对象起作用。