编程语言详细课程课件

- 第五章 类 型 检 查 - 本章内容静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载忽略其它的静态检查：控制流检查、唯一性检查、关联名字检查