MathTop

proc 函数

定义可复用的过程，支持可选的类型化参数和局部声明。

语法

  • name := proc(x) return expr end proc
  • name := proc(x::integer) return expr end proc

参数与选项

parameter形式参数；可以包含 x::integer 等类型标注。
body以显示值或 return 表达式结束的语句序列。

示例

  1. 类型化过程f := proc(x::integer) return x + 1 end proc; f(2)返回 3。
  2. 类型化参数错误traperror(f := proc(x::integer) return x + 1 end proc; f(1/2))返回参数类型错误。