Erlang 如何列出语法 [ a, b | [c, d] ] 结果为 [ a, b, c, d]

Question

我正在尝试关注： http://learnyousomeerlang.com/starting-out-for-real

有一个部分演示了几个等效的列表结构：

Erlang 列表的构建方式有时是 让不习惯类似构造函数的人感到困惑。帮助 你熟悉这个概念，阅读所有这些例子（提示： 它们都是等价的）：

[a, b, c, d]
[a, b, c, d | []]
[a, b | [c, d]] <---- I don't understand this one
[a, b | [c | [d]]]
[a | [b | [c | [d]]]]
[a | [b | [c | [d | [] ]]]]

我不明白的是：

[a, b | [c, d]] 

我了解正常的嵌套构造函数语法，它只是一个递归构造的列表。但是 erlang 是如何处理这种非嵌套术语语法的呢？我本来期望评估 b | [c, d] 会导致 [b, c, d] 导致：

[a, [b , c, d]] 

当然，我可以简单地记住语法的最终结果是什么，但我正在寻找更详细的解释。

Answer 1

构造| [c,d] 使[c,d] 成为封闭列表的尾部。在| 分隔符之前的封闭列表中有多少像a,b 这样的元素并不重要，因为它们只是该封闭列表的普通元素。换句话说，| 将左侧的列表元素与右侧的列表尾部分开。

您可能对[Head|Tail] 结构感到困惑，它通常用于处理列表的头部元素，然后递归处理尾部元素。在这种情况下，您不能提取语法的b | [c,d] 部分，将其视为等同于[Head|Tail]，然后得出[a,[b,c,d]] 的答案，因为b 不是列表的头部。