TypeScript 是 JavaScript 的超集，因其完全兼容 JS 语法并额外支持接口、泛型等类型特性；.js 文件可直接重命名为 .ts，编译后输出纯 JS，类型信息被擦除，仅在开发阶段提供类型检查与重构保障。
TypeScript 不是 JavaScript 的替代品，而是它的增强版——所有合法的 JavaScript 代码，本身就是合法的 TypeScript 代码。
为什么说 TypeScript 是 JavaScript 的超集？
“超集”在这里是数学集合概念：如果集合 B 包含集合 A 的全部元素，B 就是 A 的超集。TypeScript 完全兼容 JavaScript 语法，同时额外添加了新特性。这意味着：
- 你可以直接把 .js 文件重命名为 .ts，不改一行代码，它就能被 TypeScript 编译器识别（虽然可能报类型警告）
- 你可以在同一个项目里混用 JS 和 TS 文件，TS 编译器只对带类型的代码做检查，其余部分照常处理
- 所有 ES6+ 语法（如箭头函数、解构、async/await）TypeScript 都支持，还额外支持接口、泛型、枚举、命名空间等 JS 原生没有的结构
TypeScript 怎么和 JavaScript 共存？
它不做运行时干预，只在开发阶段起作用：
- 写的是 .ts 文件，但最终产出的是纯 JavaScript（比如编译成 ES5 或 ES2025 格式），浏览器或 Node.js 运行的仍是 JS
- 类型注解、接口定义、泛型参数这些“TS 特有内容”，在编译后会被完全擦除，不留下任何运行时开销
- 类型检查发生在编译时（tsc 命令或编辑器内联提示），错误不会影响 JS 执行，但能提前暴露隐患
超集带来的
实际好处
实际好处它不是为了加限制，而是为了加确定性：
- 变量、参数、返回值有了明确“契约”，别人读你的函数一眼就知道该传什么、返回什么
- 重构更安全——改一个接口，所有依赖它的代码会立刻报错，而不是等到上线才崩
- 大型项目里，类型就是最轻量的文档，比注释更准、比 README 更实时
基本上就这些。它不改变 JavaScript 的本质，只是给自由加了一层可选的护栏。
