パターンにおける式の型指定

式の頭部を参照することで式の「型」に関する情報を得ることができる．例えば，整数は整数型(Integer)の頭部を持ち，リストはリスト型(List)の頭部を持つ．

パターンでも型の限定ができる．例えば，パターンを や とすれば，頭部が h の式だけを検索対象にすることができる．整数型のパターンに限定するなら，とすればよいし，リスト型にするならと指定すればよい．

指定頭部を持つオブジェクトのパターン

In[1]:=

Out[1]=

に対する割付け操作は，「型」が整数(Integer)の引数を必要とする関数 を定義する，ととらえることができる．

関数の引数が整数のときだけにその値は確定する．

In[2]:=

この定義は，の引数が整数型であるときだけ適用される．

In[3]:=

Out[3]=

は実数の頭部(Real)を持つため，上の定義は適用されない．

In[4]:=

Out[4]=

In[5]:=

In[6]:=

Out[6]=