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

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

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