多者択一型のパターン
| patt1|patt2|... | 複数のパターン形式から構成される多者択一型のパターン |
多者択一パターンの指定
関数
を，その引数が
または
のときだけに
を返す関数として定義する．
最初の2つだけが
を返す．
| Out[2]= |  |
| Out[3]= |  |
もうひとつ例を挙げる．今度は，選択肢の1つがパターンであることに注目．
| Out[4]= |  |
択一選択型のパターンを構築するときは，すべてのパターン候補に対して同じ名前を使うようにする．
のようなパターンが式にマッチするとき，オブジェクト
に対応する確定した式が必ずある．これに対して，
のようなパターンでマッチさせようとすると，
または
に対応する確定した式はあるが，対応しないものはSequence[ ]となる．
ここで，
は，
か
のどちらかの頭部を表す名前として使われている．
| Out[5]= |  |
