TypeScript

带安全网的 JavaScript

TypeScript 为 JavaScript 加上了强大的类型系统：更少的 bug、更好的工具支持和无压力的重构。从基础类型注解到泛型、类型收窄以及高级工具类型。

基础

入门 - 一步步打好基础

• 为什么用 TypeScript，你的第一个带类型的文件了解什么是 TypeScript、它解决的问题，并写下你的第一个带类型的文件。
• 原始类型、数组与简单联合类型学习三种基本类型、如何为数组指定类型，以及如何创建联合类型。
• 对象与接口用精确的类型描述对象的形状，再用接口让它们可复用。
• 为函数指定类型：参数、返回值、可选参数通过为参数、返回值和可选参数指定类型，让你的函数更安全。
• 类型推断、any 与 unknown让 TypeScript 通过推断自己判断类型，并理解为什么 unknown 胜过危险的 any。

进阶

中级 - 构建真实项目

• type 与 interface：extends 与交叉类型选择正确的构造来建模和组合你的对象类型，而无需重复编写代码。
• 字面量类型与可辨识联合用编译器替你检查的联合类型来建模应用程序的各种状态。
• 枚举与 const 断言：现代的替代方案理解枚举的局限，并用 as const 从被冻结的常量中派生出你的类型。
• 泛型：简单的泛型函数与类型编写可复用的函数和类型，在每次调用时都完整保留类型的精确性。
• 为真实世界的代码添加类型：DOM、fetch、JSON在应用程序的边界处保持可靠的类型，那里的 DOM、网络和 JSON 都逃出了编译器的掌控。

精通

熟练 - 高级模式与性能优化

• 类型收窄：typeof、in、instanceof 与类型守卫你将掌握类型收窄的各种机制，并编写自己的谓词，让联合类型更加可靠。
• 进阶泛型：约束与默认值你将用 extends 约束类型参数，并提供默认值，从而构建符合人体工学的泛型 API。
• 工具类型：Partial、Pick、Omit、Record、ReturnType你将借助内置工具类型从单一来源派生出各种类型，从而消除重复以及由此引发的漂移。
• never、穷尽性与进阶可辨识联合类型你将用可辨识联合类型为你的状态建模，并用 never 类型锁定它们的穷尽性。
• 严格的 tsconfig：关键选项与常见错误你将理解严格模式实际启用了什么，并知道如何处理它在既有项目中揭示出的典型错误。

大师

专家 - 架构、底层原理与边界情况

• 条件类型与 infer：编译器的逻辑掌握条件类型的分配性、用 infer 进行模式匹配，以及 never、any 和 boolean 等边缘情况。
• 映射类型与键重映射：变换类型理解同态映射类型如何保留修饰符，以及 as 子句如何重命名或过滤键。
• 模板字面量类型：在编译期计算出的字符串利用模板字面量类型通过笛卡尔积生成联合类型，并用 infer 解析字符串字面量。
• 重载、带类型的 this 与型变理解重载解析、this 伪参数，以及支配函数可赋值性的型变规则。
• 生产模式：品牌类型、satisfies 与 .d.ts运用能保护真实代码库的专家级模式：模拟的名义性、不发生放宽的校验，以及环境声明。