使用foldl反转列表？

Question

reverse'::[a] -> [a]
reverse' xs=foldl (\acc x -> x:acc) [] xs
example?
reverse' [1,2,3,4,5]
output:[5,4,3,2,1]

如果我改变acc了[]

reverse' xs=foldl (\acc x -> x:[]) [] xs

它输出

[5]

为什么？

Answer 1

Haskell中的Foldl与for循环的工作方式类似:

acc = []
for each x in xs:
    acc = (x:[])
return acc

由于您用于更新的步骤acc不依赖于先前的值,因此最终结果将仅依赖于列表的最后一个元素(或者acc如果列表为空,则将是初始值).