颠倒列表，评估顺序

Question

我正在阅读 Haskell School of Expression 的第 69 页，我不确定我是否得到了rev [1:2:3:4] 的评估是否正确。

Hudak 在他的书中没有详细解释reverse 的评估（重写）顺序。

请有人确认我的猜测（如附图所示）是正确的，或者如果不正确，请指出我错了什么。我相信它是正确的，但我不是 100% 肯定，这就是问的原因。

所以问题是：

当我评估reverse 的一个步骤然后在评估之后（即重写）结果应该用括号括起来，对吗？

如果我理解正确，括号的这些不幸出现是reverse 时间复杂度差（读取二次）的原因。在此示例中，总共花费了 6 个步骤来添加列表以反转 4 元素列表。

Answer 1

是的，嵌套的左关联调用 append（在 Haskell 中，名称为 (++) 和 (<>)）会导致单链表性能不佳。

这个问题有多种解决方案，因为它至少已经为人所知 30 或 40 年了。我相信 reverse 的库版本使用累加器来实现线性复杂度而不是二次复杂度，但它仍然不是你想在列表中经常调用的东西。