fonctions de prototypage dans SML

Question

J'ai deux fonctions, f et g, qui s'appellent récursivement. Malheureusement, quand f appelle g, il n'a pas encore été déclaré, donc j'obtiens une erreur "variable non liée". Comment puis-je prototyper (ou quel que soit le vocabulaire équivalent) cette fonction dans SML/NJ?

Answer 1

Utilisation and:

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

Plus d'info here.

Answer 2

Récurrence mutuelle. Utilisez and au lieu de fun entre les deux fonctions.