функции прототипирования в SML

Question

У меня есть две функции, f и g, которые вызывают друг друга рекурсивно.К сожалению, когда f звонки g, он еще не объявлен, поэтому я получаю ошибку «несвязанная переменная».Как я могу создать прототип (или какой-то другой эквивалентный словарь) этой функции в SML/NJ?

Answer 1

Использовать and:

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

Больше информации здесь.

Answer 2

Взаимная рекурсия.Использовать and вместо fun между двумя функциями.