# 4.4.6 总结

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

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


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://gocompiler.shizhz.me/golang-bian-yi-qi-lei-xing-jian-cha/4.4.6-zong-jie.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.