编译原理（四）类型检查2

描述类型系统的语言 类型系统主要用来说明编程语言的定型规则，它独立于类型检查算法 定义一个类型系统，一种重要的设计目标是存在有效的类型检查算法 类型系统的基本概念可用于各类语言，包括函数式语言、命令式语言和并行语言等 我们后面讨论用形式方法来描述类型系统 类型系统的形式化 类型系统是一种逻辑系统  有关自然数的逻辑系统 自然数表达式（需要定义它的语法） a+b,3 良形公式（逻辑断言，需要定义它的

>>阅读原文<<