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

====过程声明==== 
有两种形式的过程声明：只允许出现在接口中的{{code|2="modula2"|1=PROCEDURE id sig}}，和只允许出现在模块中的{{code|2="modula2"|1=PROCEDURE id sig = B id}}，这里的<code>id</code>是一个标识符，<code>sig</code>是过程[[类型签名|签名]]，而<code>B</code>是一个块。在一个模块的最外层作用域内声明的过程是顶层过程，其他过程是局部过程。局部过程可以作为形式参数传递但不能被赋值，因为在栈实现下，局部过程在包含它的[[调用栈|栈桢]]被弹出后会成为无效的。

过程类型声明有如下形式：{{code|2="modula2"|1=TYPE T = PROCEDURE sig}}，这里的<code>sig</code>是[[类型签名|签名]]规定。一个过程<code>P</code>是过程类型<code>T</code>的一个成员，或称为是它的一个值的条件为，它是<code>NIL</code>，或者它的签名被<code>T</code>的签名所含盖（cover）。这里的签名<code>sig_A</code>含盖签名<code>sig_B</code>的条件是：
*它们有相同数目的形式参数，并且对应的形式参数有相同的类型和模态。
*它们有相同的结果类型，或者都没有结果类型。
*<code>sig_A</code>的<code>RAISES</code>集合包含<code>sig_B</code>的<code>RAISES</code>集合。
过程常量是声明为过程的一个标识符。过程变量是声明为具有过程类型的一个变量。例如：
<syntaxhighlight lang="modula2">
PROCEDURE P(txt: TEXT := "P") = 
BEGIN
    IO.Put(txt)
END P;
VAR q: PROCEDURE(txt: TEXT := "Q") := P;
</syntaxhighlight>
声明了过程常量<code>P</code>和过程变量<code>q</code>。两个过程如果有一致的[[闭包 (计算机科学)|闭包]]，就是说它们涉及相同的过程体和环境，则二者相等即有相同的值。形式参数名字和缺省值，影响一个过程的类型即签名，而非这个过程的值。将一个过程常量赋值给一个过程变量，改变这个它的值，而非它的类型。比如上例中有：<code>P = q</code>为<code>TRUE</code>。缺省的形式参数的解释，由一个过程的类型来确定，而非这个过程的值。比如上例子中：<code>P()</code>打印<code>P</code>，而<code>q()</code>打印<code>Q</code>。