我正在开发一种函数式编程语言的解释器，它使用 Hindley-Milner 类型系统。
问题是，类型错误应该在哪里发生（被检测到）？
例如，如果我将Integertype value 应用于具有 type 的函数Bool -> Integer，这显然是一个类型错误。类型推断器总是能检测到这一点吗？
我的猜测是，类型推断器并不总是完全知道表达式的类型，即在推断过程中。因此类型推断器检测到的一些错误是错误的，或者一些错误不会被检测到。
但是，表达式求值器应该正确检测类型错误，因为求值器完全知道表达式的类型。
如果类型推断器无法正确检测类型错误，那么静态类型解释语言（如 OCaml）如何处理静态类型错误检查？