> For the complete documentation index, see [llms.txt](https://gocompiler.shizhz.me/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://gocompiler.shizhz.me/golang-bian-yi-qi-lei-xing-jian-cha/4.4.6-zong-jie.md).

# 4.4.6 总结

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

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