fonctions de prototypage dans SML

Question

J'ai deux fonctions, f et g , qui s'appellent de manière récursive. Malheureusement, lorsque f appelle g , il n'a pas encore été déclaré. Je reçois donc une "variable non liée". Erreur. Comment puis-je prototyper (ou quel que soit le vocabulaire équivalent) cette fonction en SML / NJ?

Answer 1

Utilisez et :

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

Plus d'infos ici .

Answer 2

Récursion mutuelle. Utilisez et au lieu de fun entre les deux fonctions.