第一章：类型推导与编译边界

本章从 tsc 的反馈开始，区分类型检查、JavaScript 输出和运行时行为。先学会读推导结果，再进入联合、泛型和前端边界。

1. 编译器、注解与推导
2. 本章练习答案