清单

a = [1, 2, 3, true]

请注意，它们作为链接列表存储在内存中。Id est 这是一系列缺点单元格，其中 head（List.hd / 1）是列表第一项的值，tail（List.tail / 1）是列表其余部分的值。

List.hd(a) = 1
List.tl(a) = [2, 3, true]