OCaml 中的相互递归定义

Question

我知道 OCaml 提供了let rec ... and ... 用于定义相互递归函数。为什么我不能使用该表达式来定义相互递归的值？

特别是，为什么我不能做类似let rec x=3 and y=x+5 in x 的事情，但我可以做let rec x=3 and y=[x;4] in y？

对于第一种情况，我试图给我一个答案，我认为这是一个绑定“问题”，因为值的绑定应该是同时的，所以 y 不知道 x 的值所以我不能把它加到常数 5 的值上。 是真的吗？

Answer 1

您的定义都不是相互递归的。你也可以这样写：

let x = 3 in
let y = x + 5 in
x

和

let x = 3 in
let y = [x; 4] in
y

相互递归的定义如下所示：

let rec x = y + 3
and y = x + 5 in
x

和

let rec x = 3 :: y
and y = 4:: x in
x

在第二段代码中，x 是一个循环列表，其中包含一个 3，后跟一个 4，然后循环回到开头。然而，第一段代码没有任何意义。当y 等于x + 5 时，x 怎么能等于y + 3？它不能，因此只能使用变体类型的构造函数来定义递归值（因为这是递归值不会导致无限递归的唯一情况）。

因此，由于没有构造函数就无法定义递归值，并且当您尝试定义的值不是递归时，let rec ... and 语法不是必需的，因此该语法根本不能用于构造函数应用程序之外的任何东西。