带 (++) 的 haskell 折叠

Question

当我发现这真的让我很困扰时，我正在玩 Haskell 和 ghci:

foldl (++) [[3,4,5], [2,3,4], [2,1,1]] []

我希望得到这个: [3,4,5,2,3,4,2,1,1]然而它得到:

[[3,4,5],[2,3,4],[2,1,1]]

据我了解foldl，应该是这样的:

(([] ++ [3, 4, 5]) ++ [2, 3, 4]) ++ [2, 1, 1]

如果我在 ghci 中输入它，它确实是 [3,4,5,2,3,4,2,1,1] .

另一个奇怪的事情是:

Prelude> foldl1 (++) [[3,4,5], [2, 3, 4], [2, 1, 1]]
[3,4,5,2,3,4,2,1,1]

我希望 foldl 和 foldl1 的行为方式相同。那么 foldl 实际上是做什么的呢？

Answer 1

论据的顺序是错误的。正确的是:foldl (++) [] [[3,4,5], [2,3,4], [2,1,1]](也就是说，首先是累加器，然后是列表。)