функции прототипирования в SML - PullRequest
2 голосов
/ 26 сентября 2008

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

Ответы [ 2 ]

8 голосов
/ 26 сентября 2008

Использование and:

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

Подробнее здесь .

1 голос
/ 26 сентября 2008

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

...