可以使用附加到同一符号的多个定义：

编译一个使用该定义的函数：

下面调用使用条件的定义：

下面调用使用文字 2 的定义：

调用最后的 catchall 定义：

Definitions attached to a symbol can be used in more than one declaration with different types:

进行两项不同类型的声明，并编译使用它们的函数：

调用整数类型：

调用实数类型：

可将附加到符号的定义声明为多态类型：

编写多态声明，并编译将其用于不同类型的函数：

调用整数类型：

调用实数类型：

使用符号定义的函数声明可以调用自己：

声明并编译一个使用该声明的函数：

调用函数：

模式参数不需要名称：

编译使用该定义的函数：

用不同的值调用该函数：

如果同一个名称在定义中出现多次，则调用时其值必须相同：

编译使用该定义的函数：

用不同的值调用该函数：

以相同的值调用该函数时，它将使用针对相同值的定义：

可以编写模式来匹配标头：

Make a polymorphic declaration that uses the definition:

Compile a function that uses the declaration with an argument that does not match the head:

Call the function with an integer and that uses the definition that does not match the head:

Compile a function that uses the declaration with an argument that does match the head:

Call the function with a real and that uses the definition that matches the head:

编译使用 PatternTest 的模式：

编译使用该定义的函数：

输入为偶数：

输入为奇数：

编译使用 Condition 的模式：

编译使用该定义的函数：

输入的参数按顺序排列：

输入的参数未按顺序排列，因此在输出中，它们的顺序是相反的：

编译使用 Except 的模式：

作出声明并编译使用该声明的函数：

参数是偶数，因此不使用第一个定义：

参数是奇数，使用第一个定义：

编译使用该定义的函数：

参数是偶数且大于 20，因此不使用第一个定义：

参数是奇数且大于 20，使用第一个定义：

参数是奇数但小于 20，因此不使用第一个定义：

编译可使用 Alternatives 的模式

编写声明：

编译使用该声明的函数：

该函数与输入匹配，因此生成了一个结果：

编译不同类型的函数来使用该声明：

该函数同样与输入匹配，因此生成了一个结果：

编译支持对某些类型（如 "InertExpression" 和 "PackedArray"）使用复合模式：

编译使用该定义的函数：

该函数与输入匹配，因此生成了一个结果：

编译不同类型的函数来使用该声明：

编译支持某些针对 "InertExpression" 的序列模式：

编译使用该定义的函数：

这个序列被展平了：

该含有序列的模式不匹配，因此返回失败：

该模式可以包含任何表达式类型的复合标头：

匹配：

不匹配：

如果需多次使用声明，使用符号定义的声明就非常有用：

引用符号的 FunctionDeclaration：

使用符号的函数：

该函数的编译代码：

基于创建的数据的向量图：

编译版本要快得多：

输出的动画显示：

DownValuesFunction 使用的是进行编译时使用的定义：

结果使用的是编译完成时的定义：

如果没有适用于所有情况的定义，将添加出现运行时错误如何处理：

下面的情况，返回一个结果：

没有适用于此输入的定义，因此出现运行时错误：

模式定义的所有分支必须返回相同的类型：

模式定义的所有分支都必须针对以下参数进行编译：

可以编译：

无法编译：

不支持可选模式：

不支持保持模式：

不支持 Verbatim 模式：

序列模式不支持多态声明：

进行多态声明，但编译时无法使用：