第 12 章语言扩展

1 值的递归定义

(在 Objective Caml 1.00 中引入)

如第 ‍11.7.2 节所述，let rec 绑定结构除了定义递归函数外，还支持一定类型的非函数值的递归定义，例如

let rec name₁ = 1 :: name₂ and name₂ = 2 :: name₁ in expr

它将 name₁ 绑定到循环列表 1::2::1::2::…，并将 name₂ 绑定到循环列表 2::1::2::1::…非正式地说，接受的定义类包括那些定义的名称仅出现在函数主体内部或作为数据构造函数的参数的定义。

更准确地说，考虑表达式

let rec name₁ = expr₁ and … and name_n = expr_n in expr

如果 expr₁ … expr_n 中的每一个对 name₁ … name_n 来说是静态构造的，并且不直接链接到 name₁ … name_n 中的任何一个，并且不是其参数具有抽象类型的数组构造函数，则它将被接受。

如果至少满足以下条件之一，则表达式 e 被称为对变量 name₁ … name_n静态构造的

如果满足以下情况，则表达式 e 被称为直接链接到变量 name

e 是 name
e 的形式为 expr₁; … ; expr_m 其中 expr_m 直接链接到 name
e 的形式为 let [rec] xname₁ = expr₁ and … and xname_m = expr_m in expr₀ 其中 expr₀ 直接链接到 name 或 xname_i 中的一个，使得 expr_i 直接链接到 name.