> 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.414-zong-jie.md).

# 4.4.4-14 总结

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

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