11

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

我有两个功能:

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

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

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

我做了一些谷歌搜索,但似乎找不到任何东西。我怎样才能做到这一点?

4

2 回答 2

24

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

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

and myFunctionB = 
(* some stuff here .... *) myFunctionA (* some stuff *)
于 2011-09-30T16:58:44.543 回答
2

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

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

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

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

于 2011-10-30T16:30:56.453 回答