同じシンボルに添付された複数の定義を使うことができる：

定義を使う関数をコンパイルする：

次は条件を使う定義を呼び出す：

次はリテラルの2を使う定義を呼び出す：

次は，最後のキャッチオール定義を呼び出す：

シンボルに添付された定義は異なる型の複数の宣言で使うことができる：

異なる型の2つの宣言を行い，それぞれを使う関数をコンパイルする：

整数のケースを呼び出す：

実数のケースを呼び出す：

シンボルに添付された定義は多様型で宣言することができる：

多様型の宣言を作り，これを異なる型に使用する関数をコンパイルする：

整数のケースを呼び出す：

実数のケースを呼び出す：

シンボル定義を使う関数宣言はそれ自身を呼び出すことができる：

宣言を行い，それを使う関数をコンパイルする：

関数を呼び出す：

パターンの引数には名前は必要ない：

定義を使う関数をコンパイルする：

異なる値で関数を呼び出す：

定義に同じ名前が複数回使われている場合，呼び出されたときに名前が値が同じである必要がある：

定義を使う関数をコンパイルする：

異なる値で関数を呼び出す：

同じ値で関数を呼び出すと，同じ値については定義が使われる：

パターンは頭部にマッチするように書くことができる：

これを使う多形宣言を作成する：

頭部と一致しない引数でこの宣言を使う関数をコンパイルする：

この関数を整数で呼び出し，頭部と一致しない定義を使用する：

頭部と一致しない引数でこの宣言を使う関数をコンパイルする：

この関数を実数で呼び出し，頭部と一致する定義を使う：

コンパイルされたパターンはPatternTestを使うことができる：

定義を使う関数をコンパイルする：

入力は偶数である：

出力は奇数である：

コンパイルされたパターンはConditionを使うことができる：

定義を使う関数をコンパイルする：

入力の引数は順になっている：

入力の引数が順になっていないので，出力では逆順になっている：

コンパイルされたパターンはExceptを使うことができる：

宣言を行い，これを使う関数をコンパイルする：

引数が偶数なので，最初の定義は使われない：

引数が奇数なので，最初の定義が使われる：

定義を使う関数をコンパイルする：

引数が偶数で20より大きいので，最初の定義は使われない：

引数が奇数で20より大きいので，最初の定義が使われる：

引数は奇数だが20より小さいので，最初の定義は使われない：

コンパイルされたパターンはAlternativesを使うことができる：

宣言を行う：

宣言を使う関数をコンパイルする：

この関数は入力をマッチするので，結果が生成される：

宣言を使う別の型の関数をコンパイルする：

この関数も入力をマッチするので，結果が生成される：

コンパイルでは，"InertExpression"や"PackedArray"等の特定の型の複合パターンがサポートされる：

定義を使う関数をコンパイルする：

この関数は入力をマッチするので，結果が生成される：

関数を使うために別の型で関数をコンパイルする：

コンパイルでは，"InertExpression"の一連の特定のパターンがサポートされる：

宣言を行い，これを使う関数をコンパイルする：

列は平坦化される：

列を含むパターンがマッチしないので，失敗が返される：

パターンは，任意の式の型の複合頭部を持つことができる：

これはマッチする：

これはマッチしない：

シンボル定義を使う宣言は，宣言が複数回使われる場合に便利である：

シンボルを参照するFunctionDeclaration：

このシンボルを使う関数：

関数用にコンパイルされたコード：

作成されたデータに基づくベクトルプロット：

コンパイルされたバージョンの方がはるかに速い：

出力のアニメーション：

DownValuesFunctionはコンパイルを実行する際に使用された定義を使う：

結果はコンパイルが終了すると所定の定義を使う：

すべてのケースに適用される定義がなければ，エラーケースが追加される：

次は問題なく動作する：

次は，エラーケースをトリガする：

パターン定義のすべてのブランチは同じ型を返す必要がある：

パターン定義のすべてのブランチは，引数に対してコンパイルされる必要がある：

これはコンパイルされる：

これはコンパイルされない：

任意のパターンはサポートされていない：

ホールドされたパターンはサポートされていない：

逐語的なパターンはサポートされていない：

列パターンは多形宣言をサポートしない：

多形宣言を行う．コンパイルにはこれは使えない：