TypeScript：从类型推导到前端边界

这本手札先讲编译器能证明什么，再讲运行时必须自己验证什么。主线不追求收集高级类型语法，而是让类型真正保护组件、请求和领域状态。

全书顺序

1. 类型推导与编译边界
2. 联合类型与边界收窄
3. 泛型与 API 契约
4. 前端边界与运行时校验

完成后再进入类型配置、声明文件、构建工具和框架专属类型；这些内容建立在前四章能读懂并验证的基础上。