SML中的原型設計函數

Question

我有兩個函數，f和g，它們遞歸地相互調用。不幸的是，當f調用g時，它還沒有被聲明，所以我得到一個「未綁定的變量」錯誤。我怎樣才能在SML/NJ中創建這個函數的原型（或任何相同的詞彙表）？

Answer 1

使用and：

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

更多信息here。

Answer 2

相互遞歸。使用and而不是fun這兩個功能之間。