SML 中的原型设计功能

【问题标题】：prototyping functions in SMLSML 中的原型设计功能
【发布时间】：2010-09-13 11:46:02
【问题描述】：

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

【问题讨论】：

【解决方案1】：

使用and:

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

更多信息here。

【讨论】：

【解决方案2】：

相互递归。在两个函数之间使用 and 而不是 fun。

【讨论】：