模式中的表达式类型限制
可以通过头部来区分不同"类型"的表达式，如整数的头部为 Integer，而列表的头部为 List.
模式中，
和 
表示具有头部 h 的表达式. 例如，
表示任何整数，而 
表示任何列表.
| x_h | 具有头部 h 的表达式 |
| x_Integer | 整数型 |
| x_Real | 实数型 |
| x_Complex | 复数型 |
| x_List | 列表型 |
| x_Symbol | 符号型 |
指定了对象头部的模式.
| Out[1]= |  |
定义 
和定义一个具有整型 Integer 变量的函数 
一样.
此处定义一个自变量为整数的函数
.
当自变量是整数时，才能计算
的值.
| Out[3]= |  |
由于对象
具有头部
Real，故无法计算.
| Out[4]= |  |
| Out[6]= |  |
