funciones de creación de prototipos en SML

Question

Tengo dos funciones, f y g , que se llaman recursivamente. Desafortunadamente, cuando f llama a g , todavía no se ha declarado, por lo que obtengo una " variable independiente " error. ¿Cómo puedo crear un prototipo (o cualquier vocabulario equivalente) de esta función en SML / NJ?

Answer 1

Utilice y :

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

Más información aquí .

Answer 2

Recursión mutua. Use and en lugar de fun entre las dos funciones.