funzioni di prototipazione in SML

Question

Ho due funzioni, f e g , che si chiamano in modo ricorsivo. Sfortunatamente, quando f chiama g , non è stato ancora dichiarato, quindi ottengo una "variabile non associata". errore. Come posso prototipare (o qualunque sia il vocabolario equivalente) questa funzione in SML / NJ?

Answer 1

Usa e :

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

Ulteriori informazioni qui .

Answer 2

Ricorsione reciproca. Usa e invece di fun tra le due funzioni.