変換前	変換後
[ $\,\langle$ exp ${}_{1}$ $\rangle\,$ , $\cdots$ , $\,\langle$ exp ${}_{n}$ $\rangle\,$ ]	$\,\langle$ exp ${}_{1}$ $\rangle\,$ :: $\cdots$ :: $\,\langle$ exp ${}_{n}$ $\rangle\,$ :: nil

(0\leq n)

この変換から，リスト式の要素の式はすべて同じ型を持たなければならず，その型を要素の型とするリスト型 $t y$ listが，この式の型となり， ::( $v_{1}$ , ::( $v_{2}$ , $\cdots$ ::( $v_{n}$ ,nil) $\cdots$ ))の形の値がこの式の値となることがわかる．

以下にリスト式の例を示す．

# [1, 2, 3, 4];
val it = [1, 2, 3, 4] : int list
# [fn x => x, fn x => x + 1];
val it = [fn, fn] : (int -> int) list
# [];
val it = [] : [’a. ’a list]

最後の例のように，[]は多相型を持つ空のリストである．

19.7 リスト式 [⟨exp1⟩, ⋯, ⟨expn⟩]

19.7 リスト式 [ $\,\langle$ exp ${}_{1}$ $\rangle\,$ , $\cdots$ , $\,\langle$ exp ${}_{n}$ $\rangle\,$ ]