$⟨$exp$\mathrm{⟩}$の評価結果の値を場合分けで処理する構文である． $⟨$match$\mathrm{⟩}$では，データ構成子を含むパターンとそのパターンにマッチし た時評価される式の組を以下の形で記述する．

  $\mathrm{⟨}$pat${}_{\mathrm{1}}$$\mathrm{⟩}$ => $\mathrm{⟨}$exp${}_{\mathrm{1}}$$\mathrm{⟩}$
| $\mathrm{\cdots }$
| $\mathrm{⟨}$pat${}_n$$\mathrm{⟩}$ => $\mathrm{⟨}$exp${}_n$$\mathrm{⟩}$

各パターン$⟨$pat${}_i$$\mathrm{⟩}$は，第20章で定義するデータ 構成子と変数からなるデータパターンである． これらパターン集合は以下の制約を満たさなければならない．

• •

  同一のパターンに含まれる現れる変数はすべて異なる．

• •

  パターンはすべて$⟨$exp$\mathrm{⟩}$の型と同じ型を持つ．

• •

  $2\le i\le n$なるすべての$i$について， パターン$⟨$pat${}_i$$\mathrm{⟩}$が冗長であってはならない． すなわち$⟨$pat${}_i$$\mathrm{⟩}$がカバーするデータの集合が， パターン$⟨$pat${}_{\mathrm{1}}$$\mathrm{⟩}$から$⟨$pat${}_{i\mathrm{-}\mathrm{1}}$$\mathrm{⟩}$がカバーする集合の 和に完全に含まれてはならない．

例えば以下の例は3番目の条件に違反している．

# fn x => case x of (X, 1, 2) => 1 | (1, X, 2) => 2 | (1, 1, 2) => 3;
(interactive):6.8-6.65 Error: match redundant and nonexhaustive
      (X, 1, 2) => ...
      (1, X, 2) => ...
  --> (1, 1, 2) => ...

この制約のもとで，この式全体は各式$⟨$exp${}_i$$\mathrm{⟩}$の型と同じ型 を持つ．

この場合分け式の評価は以下のように行われる． $⟨$exp$\mathrm{⟩}$を評価し得られた値を，$⟨$pat${}_{\mathrm{1}}$$\mathrm{⟩}$から $⟨$pat${}_n$$\mathrm{⟩}$のパターンに対して，この順にマッチングを試み， 最初にマッチしたパターン$⟨$pat${}_i$$\mathrm{⟩}$に含まれる変数を対応する値に束 縛し，その束縛を現在の環境追加して得られる環境で，$⟨$pat${}_i$$\mathrm{⟩}$に対 応する式$⟨$exp${}_i$$\mathrm{⟩}$を評価し，得られる値を，この式の値とする． マッチするパターンが無い場合はMatch例外を発生させる．