list - 为什么 SML 中的列表串联是右结合的？

Question

在厄尔曼的 SML 书中

Most unusual is that the :: (list cons) and @ (list concatenation) operators are right-associative, meaning that they group from the right instead of the left as do most operators we have seen.

我理解 cons 是右结合的原因:第二个操作数必须是一个列表，并且返回是一个列表。

鉴于 SML 中“我们见过的大多数运算符”都是左关联的，为什么 SML 中的列表串联是右关联的？

谢谢。

Answer 1

连接的成本与左操作数的长度成线性关系，因为必须复制它。因此，x @ (y @ z) 比 (x @ y) @ z 便宜，因为后者会复制列表 x 两次.

此外，您有时会想要混合使用 cons 和 concat 运算符 (x @ y::z)，如果它们具有不同的优先级或关联性，这会更加笨拙。