在 Haskell 中避免使用 ++

Question

在this answer on CodeReview 中，提问者和回答者似乎都对 (++) 运算符不屑一顾。这是因为它的速度（导致算法在 O(n^2) 中显式运行，其中 n 是列表 iirc 的长度）？如果没有经过其他测试，这是否是预优化，因为 Haskell 以难以推理时间复杂度而闻名？其他人是否应该在他们的程序中避免使用 (++) 运算符？

Answer 1

视情况而定。

考虑表达式

foldl (++) [] list

此表达式将列表列表连接成单个列表，但具有前面提到的二次复杂度。发生这种情况是因为(++) 的实现会遍历整个左侧列表并将每个元素添加到右侧列表中（当然要保持正确的顺序）。

使用正确的折叠，我们得到线性复杂度：

foldr (++) [] list

这是由于 (++) 运算符的实现，它仅遍历左侧参数并将其添加到右侧。

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

等于

-- Example as created by foldr
[1,2] ++ ([3,4] ++ [5,6])
== [1,2] ++ [3,4,5,6]
== [1,2,3,4,5,6] -- all good, no element traversed more than once

只遍历每个列表元素一次。

现在将括号切换到前两个列表更昂贵，因为现在一些元素被遍历多次，效率很低。

-- Example as created by foldl
([1,2] ++ [3,4]) ++ [5,6]
== [1,2,3,4] ++ [5,6]
== [1,2,3,4,5,6] -- the sublist [1,2] was traversed twice due to the ordering of the appends

总而言之，注意这种情况，你应该没事的。