为什么`a :: nil`中的`a`代表长度为1的列表？

Question

在 Ullman 的 SML 书中：

请注意，我们将“长度为 1 的列表”表示为模式的方式是将 单个标识符周围的方括号，例如[a]。 这样的模式只能匹配具有单个元素的列表，并且变量 a 获取该元素作为其值。

表示“长度为 1 的列表”的另一种方式是使用模式 a :: nil。 同样，a 获取唯一元素作为其值。

在a :: nil 中，a 是否代表列表的头元素？为什么它代表一个长度为1的列表？

谢谢。

Answer 1

a 是列表的头部，nil 是尾部。 nil 是长度为零的列表，因此 a :: nil 的长度为 1。