第2引数のデフォルト値付きで関数を定義する：

両方の引数が明示的に指定された関数を使う：

これで，第2引数はデフォルト値を持つと解釈される：

ReplaceAllを含む任意のパターンマッチング関数でOptionalを使う：

Cases：

MatchQ：

OptionalをBlankSequenceと一緒に使う：

デフォルトが使われる：

与えられた値が使われる：

一連の値がxにバインドされる：

Optionalの第1引数はBlankの形式だけでなく任意のパターンでよい：

関数のデフォルト値を指定する：

デフォルトの引数を使って下向きの値を定義する：

第3引数が与えられたときはその値が使われる：

第3引数がないときは，値が関数のデフォルトから取られる：

任意の引数のデフォルト値はパターンにマッチしなくてもよい：

5はパターンにマッチする：

文字列"xyz"はパターンにマッチしない：

引数が指定されていなければ，たとえパターンにマッチしなくてもデフォルト値が返される：

三部形式 sym:pat:def の頭部はOptionalである：

s_:d と s:_:d は同一である：

明示的なデフォルトが与えられていないとき，デフォルトは頭部のDefaultValuesから推測される：

1はDefaultValues[Times]からのものである：

常に明示的なデフォルトを与えることができる：

短縮形 x_.はOptional[Pattern[x,Blank[]]と等価である：

デフォルトの引数を制限すると，不適合な引数に対してはパターンが完全に一致しなくなる：

引数が完全に欠落している場合にのみデフォルト値が使われる：

Optionalはデフォルト値が評価されるのを妨げない：

したがって， fのすべての呼び出しに同じデフォルト値が使われる：

HoldPatternを使ってデフォルト値が使用されるまで評価を遅延させる：

gの各呼び出しに一意のデフォルト値が使われる：

BlankSequenceとOptionalを使って関数を定義する．この関数はデフォルト値を使って評価する：

BlankNullSequenceを使って関数を定義する．この関数は評価に際して値を使わない：

BlankNullSequenceは引数の長さが0にマッチするので，x___:d は決して d を使わない：

入力 s:v は s がBlank[…]またはPattern[sym,Blank[…]]についての特殊な入力形式であるときにのみ頭部がOptionalになる：

BlankSequence[…]とBlankNullSequence[…]も使うことができる：

s が記号なら s:v はPattern[s,v]を表す：

s が他の任意の式ならこの形式は有効な入力ではない：

ConditionとPatternTestはOptionalには適用できない：

代りにOptionalの第1引数にテストを適用する：

関数 f と g は与えられる引数の数が0でも1でも予想通りの動作をする：

PatternをOptionalオブジェクトにバインドすることはできない：

代りに第1引数内のパターンをOptionalにする：

パターンが一致しない場合は記号xがデフォルト値にバインドされる：

Optionalオブジェクトは三部形式 s:p:d を使ってより簡潔に書くことができる：