编辑“︁Modula-3”︁（章节）

====过程类型====
一个[[子程序|过程]]要么是<code>[[空指针|NIL]]</code>，要么是有如下构成的[[三元组]]：
*过程体，它是一个语句。
*[[类型签名|签名]]，它有如下形式<code>(formal_1; ...; formal_n): R RAISES S</code>，这里的每个<code>formal_i</code>是形式参数，<code>R</code>是结果类型，<code>S</code>是<code>RAISES</code>集合（这个过程可以引发的例外的集合）。
*环境，它是在解释过程体中变量名字方面有关的[[作用域]]。
形式参数有如下形式：{{code|2="objectpascal"|1=Mode Name: Type := Default}}，这里的：
*<code>Mode</code>是参数模态，它可以是<code>VALUE</code>、<code>VAR</code>或<code>READONLY</code>。如果省略了<code>Mode</code>，它缺省为<code>VALUE</code>。
*<code>Name</code>是命名这个形式参数的标识符。形式参数名字必须是各不相同的。
*<code>Type</code>是这个形式参数的类型。
*<code>Default</code>是一个常量表达式，它是这个形式参数的缺省值。如果<code>Mode</code>是<code>VAR</code>，则<code>:= Default</code>必须省略，否则<code>:= Default</code>和<code>: Type</code>中任何一个都可以省略，但不能二者都省略。如果省略了<code>Type</code>，它采用<code>Default</code>的类型。如果二者都存在，<code>Default</code>的值必须是<code>Type</code>的一个成员。
形式{{code|2="objectpascal"|1=Mode v_1, ..., v_n: Type := Default}}，是{{code|2="objectpascal"|1=Mode v_1: Type := Default; ...; Mode v_n: Type := Default}}的简写。

<code>VAR</code>形式参数绑定到对应的实际参数所指示的变量上，也就是说它是别名。对于<code>VAR</code>形式参数，实际参数必须是可写的指定式，它的类型同于形式参数的类型，或者在<code>VAR</code>数组形式参数的情况下，它可赋值给这个形式参数。

<code>VALUE</code>形式参数绑定到具有未用的位置的一个变量上，并且它被初始化为实际参数对应的值。对于<code>VALUE</code>或<code>READONLY</code>形式参数，实际参数是可赋值给形式参数类型的任何表达式，并且放开了针对赋值局部过程的禁止。

<code>READONLY</code>形式参数，如果实际参数是指定式并且有与形式参数相同的类型，或者是可赋值给形式参数的类型的一个数组类型，则被当作<code>VAR</code>形式参数对待，它的只读语义体现在指定这个指定式为只读的，否则被当作<code>VALUE</code>形式参数对待。

在签名中，如果省略了<code>: R</code>，则这个过程是真正（proper）过程，否则为函数过程；如果省略了<code>RAISES S</code>，则假定它为<code>RAISES {}</code>。一个过程发起未包括在<code>RAISES</code>集合中的一个例外，是一个必查的运行时间错误，如果语言实现将这个运行时间错误映射成一个例外，则这个例外隐含的包括在所有的<code>RAISES</code>子句中。