类型错误和可判定性 - 编译器

Question

现代编译器会为无法编译的程序抛出类型错误。什么是“类型错误”？

还是可判断性对类型系统意味着什么？

Answer 1

“类型错误”可以是两种类型的错误之一：编译时或运行时。编译器会根据您使用的语言检查编译（静态）和运行时（动态）时的错误类型。 C / C ++是静态类型语言，而pearl / PHP是动态类型检查语言。

基本上，类型错误是一种语法错误，编译器会根据特定语言的语法规则检查代码安全性。如果代码与语法规则不匹配，则编译器会抛出错误。

类型系统是用于检查源代码安全性的数学模型。它包含一些检查错误的规则。

通常，可判定性意味着布尔回答是或否。在类型系统中，编译器在其数学模型中检查特定句子或句子的一部分，数学模型检查以查看是否可以在机器中形成这种类型的语法。

因此，基于数学模型中的规则，它必须决定输入将适合模型的天气。如果不是，它将给出错误，这称为可判定性。