4.4.6 总结

类型检查器是编译器前端的一个非常复杂的模块，其中涉及到的数据结构非常多，我们这里只是列举出重要的几类数据结构进行分析，通过这几类数据结构，我们基本能够搭建起整个类型检查的骨架，因为整个类型检查都是围绕着这几个数据结构展开的。

总体来说，类型检查会对 AST 进行遍历并对每个节点进行处理，最终的结果是为每个 AST 的表达式创建出对应的类型数据结构，并将这些结果保存在 Info 中。