$⟨$match$\mathrm{⟩}$が表現する関数型とクロージャを生成する． $⟨$match$\mathrm{⟩}$は，データ構成子を含むパターンと，そのパターンにマッチし する引数が与えられた時評価される式の組である．

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

各パターンと式の組$\mathrm{⟨}$pat${}_i$$\mathrm{⟩}$ => $\mathrm{⟨}$exp${}_i$$\mathrm{⟩}$に対し て，$⟨$pat${}_i$$\mathrm{⟩}$の型$⟨$ty${}_i$$\mathrm{⟩}$を求め，パターンの中の変数の型 を現在の型環境に加えた型環境の下で$⟨$exp${}_i$$\mathrm{⟩}$の型 $⟨$ty${}^{\mathrm{\prime }}{}_i$$\mathrm{⟩}$を求め，関数型$\mathrm{⟨}$ty${}_i$$\mathrm{⟩}$ -> $\mathrm{⟨}$ty${}^{\mathrm{\prime }}{}_i$$\mathrm{⟩}$を得る． これら関数型をすべて単一化して得られる関数型$\mathrm{⟨}$ty$\mathrm{⟩}$ -> $\mathrm{⟨}$ty${}^{\mathrm{\prime }}$$\mathrm{⟩}$がこの関数式の型である． 関数式の値は，現在の値の環境とこの関数式の組みからなる関数クロー ジャである．