asパターンは、let束縛やmatch式に as句 が追加されたパターンのことです。as句は、match式の入力値を照合する際に実行式で使用できる名前にバインディングします。また、let束縛で使用される場合は、名前がバインディングとしてローカルスコープに追加されます。

　以下の例は、タプルパターンを利用したasパターンのサンプルです。


　サンプルの8行目でasパターンが使われています。asパターンでバインディングされた値は実行式で利用することが可能です。
　また、以下のようにlet束縛する際に利用すると、ローカルスコープにバインディングされた値が追加されます。