TypeScript 编程实战：从入门到类型系统图灵完备

Ch01

从 JS 到 TS：3类运行时错误如何在编译期拦截

Ch02

类型推断与标注边界：什么时候必须手写类型

Ch03

联合、交叉、字面量类型：判别联合实战

Ch04

接口 vs 类型别名：一张决策树

Ch05

函数类型：重载、泛型函数、call signature

Ch06

泛型深度：约束、默认值、类型安全 fetch

Ch07

内置工具类型源码拆解：Partial/Pick/Omit/Record

Ch08

条件类型与 infer：从类型中提取子类型

Ch09

映射类型：变换对象结构，实现 DeepPartial

Ch10

模板字面量类型：类型级字符串运算

Ch11

型变：协变/逆变/不变 — 为什么函数参数逆变

Ch12

类型设计哲学：合法状态 vs 非法状态，12条原则

Ch13

Branded Types + 幽灵类型：编译期阻止非法操作

Ch14

错误处理类型化：Result<T,E> 模式替代 try/catch

Ch15

async/Promise 类型：Promise.all 推导、async 错误类型

Ch16

tsconfig.json 完全解析：strict 8个子选项、Monorepo

Ch17

声明文件：给 JS 库手写 .d.ts，发布 @types

Ch18

运行时验证：zod + TS 类型自动推导

Ch19

渐进迁移：10万行 JS 项目的迁移路线

Ch20

Node.js 后端：Fastify + TypeBox 路由级类型推导

Ch21

React 组件类型：泛型组件、Hooks、事件处理

Ch22

全栈类型安全：tRPC 原理 + Prisma/Drizzle ORM

Ch23

测试类型化：vitest mock 类型、tsd 类型测试

Ch24

类型体操实战：手写 Awaited/FlatArray/UnionToIntersection

Ch25

类型安全状态机：合法转换只有编译器知道

Ch26

类型级算法：Filter/Zip/BinaryAdd — 图灵完备的边界

Ch27

HKT 模拟：TypeScript 没有高阶类型，但可以绕过

Ch28

Compiler API：用 ts.createProgram 写自己的类型检查工具