パターンマッチ

パターンマッチはパターンに対して値をマッチさせることです。 値がパターンにマッチする場合、 パターンマッチ中の変数と値の中の要素を結びつける束縛群が生成されます。 パターンマッチは次の一連のルールに従って実行されます:

タプル値 (0, 1, 2, 3) とタプルパターン (0, _, x, y) があるとします。 するとこの値はこのパターンにマッチして、このマッチによって x と y が 2 と 3 をそれぞれ束縛します。