Appearance
TypeScript 模块导读
这不是运行时语言升级包
- TypeScript 最容易被误读成“给 JavaScript 加上类型”，但真正重要的是它怎样在编译阶段约束表达、暴露边界、帮助工程协作。
- 如果把它当成运行时能力，很多题从一开始就会答偏。
这个模块真正要抓的东西
- 类型描述能力能做到哪里，什么时候只能退回运行时校验。
- 类型推导怎样沿着函数签名、泛型参数和控制流分析一路传下去。
- 工程里怎样把 strict、边界输入、类型债务和协作成本连起来看。
建议的阅读顺序
- 先读 interface / type、泛型、类型守卫，先把表达力和推导链摸清。
- 再读值空间与类型空间、unknown / any / never，把最容易混的几块地基补稳。
- 最后再回到 TypeScript 工程实践，看这些能力怎样真正落在项目里。
读 TS 时最容易走偏的地方
- 只会比较语法，不会比较表达力和开放性。
- 用类型系统替代运行时验证，结果把静态约束和真实输入边界混成一个问题。