TypeScript 是微软 2012 年推出的 JavaScript 超集，在 JS 之上加入静态类型系统，代码经编译后输出可在浏览器与 Node.js 中运行的普通 JavaScript，不影响运行时环境。
官网提供语言手册、类型声明文件说明、编译选项参考与在线演练场；类型推导、泛型、联合类型与工具类型等特性可以在编码阶段发现大量潜在错误，编辑器的补全与跳转也更准确。
适合中大型前端项目与 Node 后端服务，也适合需要长期维护、多人协作的代码库；对习惯动态类型的开发者，可以采用渐进式策略，从单个文件开始加类型，不必一次性完成迁移。
与纯 JavaScript 相比，TypeScript 增加了编译步骤与类型维护成本，但重构与协作更安全；与 Flow 等早期类型方案相比，它的生态与编辑器支持更完善，主流框架都已内置类型定义。
使用提示：开启 strict 模式能更早暴露隐患，引入缺少类型的第三方库时可安装对应的 @types 包，或自行补充声明文件。官网的演练场支持把报错代码片段分享给同事复现，排查复杂的泛型推导问题时比较省事。