> 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.5.31.3-lei-xing-jian-cha-he-xin-luo-ji.md).

# 4.5.3-1.3 类型检查核心逻辑

本节及后续相关章节包含类型检查的核心处理逻辑，我们将从如下几方面进行讲解：

1. 总体介绍
2. 类型表达式的类型检查
3. 求值表达式的类型检查
4. 类型兼容性检查
5. 处理 delayed 队列