MLプログラミングでよく使用される複合データはリストと高階多相関数 です． リストを用いたプログラムには，MLプログラミングの基本である以下の 要素が含まれています．

• •

  再帰的データの生成と処理

• •

  パターンマッチングによるデータ構造の分解

• •

  多相型高階関数

リストを用いてこれら機能をマスターしていきましょう．

リストは要素の並びです． MLでは“[”と“]”の間に要素の式を並べると，リストが 定義されます．

# [1,2,3];
val it = [1, 2, 3] : int list

この式は，以下の式の略記法です．

# 1 :: 2 :: 3 :: nil;
val it = [1, 2, 3] : int list

この構文とその評価結果を理解しましょう．

• •

  e :: Lは要素を表す式eとリストを表す式Lから， リストLの先頭にeを付け加えて得られるリストを生成する式．

• •

  nilは空のリストを表す定数．

• •

  int listはint型を要素とするリストを表す型