SML中的原型设计功能

Question

我有两个函数， f 和 g ，它们以递归方式相互调用。不幸的是，当 f 调用 g 时，它还没有被声明，所以我得到了一个“未绑定的变量”。错误。我如何在SML / NJ中对这个函数进行原型（或者等效的词汇表）？

Answer 1

使用和：

fun f x = ... 
and g x = ...

更多信息此处。

Answer 2

相互递归。在两个函数之间使用 和 代替 fun 。