用途：TypeScript 为 JavaScript 增加静态类型，适合企业级全栈 Web 开发（React、Next.js、Vue、Angular、Svelte）、Node.js 与边缘后端（NestJS、Fastify、Express、Hono）、类型安全的领域建模与 npm 库/SDK 发布，以及借助 tRPC/Prisma 实现前后端共享类型。
主要能力：支持条件类型、映射类型、infer、模板字面量类型等类型级编程；可辨识联合与穷尽性检查；satisfies 运算符在保留字面量类型的同时校验结构；类型守卫、工具类型（Partial、Pick、Omit）与品牌类型。
使用方式：定义 interface 与类型安全的异步函数；用类型谓词或可辨识联合收窄 unknown；在 tsconfig.json 中启用 "strict": true 与 "noUncheckedIndexedAccess": true；在 API 边界用 Zod 或 Valibot 做运行时校验；用 satisfies 校验配置而不拓宽字面量类型。
限制与建议：避免使用 any、非空断言（foo!.bar）和双重断言（foo as unknown as Bar）；优先用 unknown 配合类型守卫；复杂联合与元组用 type，需要声明合并时用 interface。常见错误包括类型不匹配、可能为 undefined、找不到模块（需安装 @types/package）。