パターンマッチ
値(特に
代数的データ型
の値)に対して、場合分けを行うと同時に構成要素に分解して変数に束縛するプログラミング言語機能。
コンパイル技法: パターンマッチ
パターンマッチのコンパイル手法に関して、日本語で書かれた貴重な資料