相互递归函数的Hindley-Milner型推理

我正在制作一种强类型的玩具函数式编程语言。它使用Hindley-Milner算法作为类型推理算法。

在实现该算法时,我有一个关于如何推断相互递归函数类型的问题。

let rec f n = if n == 0 then 0 else g (n - 1)
let rec g n = if n == 0 then 0 else f (n - 1)

f 和 g 是相互递归的函数。现在,当类型检查器推断函数类型时 f ,它还应该能够推断函数的类型 g级 ,因为它是一个子表达式。

但在那一刻,功能 g级 尚未定义。因此,类型检查器甚至不知道函数的存在 g级 ,以及函数类型 g级 明显地

真实世界的编译器/编译器使用哪些解决方案?