式$⟨$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{⟩}$は例外構成子を含むパターンであり例外型 (exn)を持たねばならない． また，各式$⟨$exp$\mathrm{⟩}$${}_i$の型は$⟨$exp$\mathrm{⟩}$の型と同一である必 要がある． この式の評価は以下のように行われる．

• •

  式$⟨$exp$\mathrm{⟩}$を評価する． 評価が正常に終了すれば，その値がこの式全体の値となる．

• •

  式$⟨$exp$\mathrm{⟩}$中に例外が発生すれば，その例外がパターン $⟨$pat${}_{\mathrm{1}}$$\mathrm{⟩}$から$⟨$pat${}_n$$\mathrm{⟩}$とこの順に照合され，マッチするパター ン$⟨$pat${}_i$$\mathrm{⟩}$があれば，$⟨$pat${}_i$$\mathrm{⟩}$の中の変数が対応する例外パ ラメータに束縛され，その束縛が追加された環境で，式$⟨$exp${}_i$$\mathrm{⟩}$を評 価し，その結果が式全体の結果となる．

• •

  マッチする例外パターンがなければ，この式で同一の例外が発生したもと して，この式を囲む式の評価が続行される．