OCaml：在定义之前声明一个函数

Question

有没有办法在 OCaml 中定义函数之前先声明它？我正在使用 OCaml 解释器。

我有两个功能：

let myFunctionA = 
(* some stuff here..... *) myFunctionB (*some stuff *)

let myFunctionB = 
(* some stuff here .... *) myFunctionA (* some stuff *)

但这不起作用，因为 myFunctionA 在创建之前无法调用 myFunctionB。

我已经进行了几次谷歌搜索，但似乎找不到任何东西。我怎样才能做到这一点？

Answer 1

你想要的是让这两个函数相互递归。而不是使用“let ... let ...”，您必须使用“let rec ... and ...”，如下所示：

let rec myFunctionA = 
(* some stuff here..... *) myFunctionB (*some stuff *)

and myFunctionB = 
(* some stuff here .... *) myFunctionA (* some stuff *)

Answer 2

实际上“let rec ..”有一个非常严重的限制：它只能在单个模块中工作。这迫使程序员在不需要的地方编写大模块.. 在低级 C 中不会出现的问题！

有几种解决方法，都不能令人满意。首先是创建一个函数类型的变量，并最初存储一个引发异常的函数，然后存储所需的值。

第二种是使用类类型和类（以及一种间接方式）。如果您有很多相互递归的函数，这是最好的方法（因为您只需将一个对象传递给它们中的每一个）。

最简单和最丑陋的方法是将函数作为参数相互传递，这种解决方案很快就会失控。在遵循所有定义的模块中，您可以通过引入一组“let rec”包装器来简化调用代码。不幸的是，这无助于定义函数，而且大多数调用通常会发生在这样的定义中。