6.1 语义分析——类型系统和类型检查

类型系统是一个语言的核心

推荐学习一门函数式语言，才能更好了解类型系统的基本原理，可以更好的掌握编程【推荐书：实用编程语言理论基础、编程与类型系统】

• 类型检查

  

• 类型转换

  

  多个if 是冗长的，应该使用表驱动

  

• 类型综合

  

• 类型推导

  

  比如 C++ 中的 auto

数组类型文法举例

例子：定义数组类型

即其实没有二维数组，是一维数组的每个元素都是一个一维数组，递归定义

类型声明文法举例