為什么 `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。