TypeScript｜CodeWiki

全部入门进阶高级

显示全部未读已读

01 · 基础

1个主题

基础类型理解TypeScript如何描述JavaScript值、推断并收窄类型，以及静态类型在运行时数据边界上的限度。入门 25分钟

02 · 类型系统

7个主题

satisfies操作符用satisfies校验表达式是否符合类型约束，同时保留可用的推断精度，并避开它不做运行时验证的陷阱。进阶 29分钟字面量类型用精确值建模封闭状态，理解推断拓宽、as const、satisfies、可辨识联合与运行时验证之间的边界。进阶 29分钟枚举枚举把一组命名常量同时带入类型系统和运行时；理解其输出、反向映射、边界验证与替代方案。进阶 27分钟类型守卫用运行时证据安全地收窄联合类型与unknown，并写出可信的自定义类型谓词和断言函数。进阶 27分钟类型推断理解TypeScript如何从初始化值、上下文和泛型实参推导类型，并在字面量拓宽、空集合与公开API边界上保持正确契约。进阶 29分钟类型收窄 TypeScript如何根据控制流收窄联合类型与unknown，并用穷尽检查、可信谓词和稳定的局部绑定防止类型错误。进阶 27分钟联合类型与交叉类型用联合类型表达多种可能，用交叉类型叠加约束，并通过可辨识联合、收窄与never检查保持类型组合安全。进阶 26分钟

03 · 泛型与高级类型

4个主题

品牌类型用品牌类型区分结构相同但语义不同的值，并把运行时验证、类型断言与信任边界连接成可审核的契约。高级 28分钟工具类型用Partial、Pick、Omit、Record与函数工具类型派生契约，并避开浅层转换、运行时擦除和过宽键集合。进阶 30分钟泛型用类型参数表达输入、输出和容器之间的关系，并在约束、推断与类型擦除之间守住真实的类型契约。进阶 24分钟高级类型组合条件类型、映射类型、索引访问、模板字面量与递归类型，同时分清编译期保证和运行时检查的边界。高级 26分钟

04 · 配置与迁移

3个主题

严格模式严格模式会在JavaScript运行前暴露空值、回调、类字段、迭代器和未标注代码中的不安全假设。进阶 26分钟声明文件声明文件用静态类型描述现有JavaScript API；理解模块边界、解析规则、声明生成与类型测试，避免让精确类型掩盖错误实现。进阶 27分钟类型覆盖率类型覆盖率量化代码中逃逸为any的标识符；这里说明指标边界、严格计数、可信数据验证与稳定的CI门槛。进阶 26分钟