编译原理类型检查

- 第六章 类型检查 - - - 内容 - 类型系统类型表达式的等价类型转换函数和运算符的重载多态