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

Question

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

可判定性对类型系统又意味着什么呢？

Answer 1

“类型错误”可以是两种类型的错误之一:编译时或运行时。编译器根据您使用的语言检查在compile(静态)和运行时(Dynamic)的错误类型。 C/C++是静态类型的语言，而Pearl/PHP是动态类型检查的语言。

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

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

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

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