清單

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]