# 4.4.4-14 总结

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

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


---

# 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.414-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.