【发布时间】：2018-03-16 14:56:42
【问题描述】：
我正在开发一种函数式编程语言的解释器，它使用 Hindley-Milner 类型系统。
问题是，类型错误应该发生在哪里（被检测到）？
例如，如果我将Integer 类型值应用于具有Bool -> Integer 类型的函数，这显然是一个类型错误。类型推断器是否总能检测到这一点？
我的猜测是，类型推断器并不总是完全知道表达式的类型，即在推断过程中。因此类型推断器检测到的一些错误是错误的，或者一些错误不会被检测到。
但是，表达式求值器应该正确检测类型错误，因为求值器完全知道表达式的类型。
如果类型推断器不能正确检测类型错误，那么静态类型解释语言（如 OCaml）如何处理静态类型错误检查？
【问题讨论】：
-
类型是代码句法结构的属性。它们在运行时不存在，所以我不确定你为什么认为评估器可以检测到类型错误（或者为什么你认为类型检查器不能）。
-
@melpomene 你是对的。我肯定混淆了类型的概念。非常感谢。
标签： functional-programming interpreter language-design hindley-milner