SML의 프로토 타이핑 기능

Question

두 가지 기능이 있습니다. f 그리고 g, 그것은 서로를 재귀 적으로 부릅니다. 불행히도 언제 f 전화 g, 아직 선언되지 않았으므로 "결합되지 않은 변수"오류가 발생합니다. SML/NJ 에서이 기능을 어떻게 프로토 타입 (또는 동등한 어휘가 무엇이든) 어떻게 할 수 있습니까?

Answer 1

사용 and:

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

더 많은 정보 여기.

Answer 2

상호 재귀. 사용 and 대신에 fun 두 기능 사이.