我有两个函数f和g递归调用。不幸的是，当f调用g时，它尚未被声明，因此出现"未绑定变量"错误。如何在SML / NJ中对该函数进行原型设计(或者任何等效的词汇表)？

解决方案

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

使用和：

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

更多信息在这里。