4.4.4-14 总结

至此，我们已经了解了编译器内部所有的类型数据结构，类型检查器的目的就是推导源代码中的表达式、变量、常量等程序组件的类型信息，即找出对应的上述结构，然后判断类型相互之间是否相互兼容。

接下来我们来看一下与类型检查器相关的数据结构。