SML中的原型设计功能

Question

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

Answer 1

使用and：

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

更多信息here。

Answer 2

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