TypeScript 是 JavaScript 的超集，通过静态类型系统在编译期检查类型错误，最终编译为纯 JavaScript 运行；JavaScript 可借助运行时判断、第三方库、JSDoc 等方式模拟类型安全，二者常混合使用以渐进提升可维护性。
JavaScript 本身是动态类型语言，运行时才确定变量类型，不支持编译期类型检查；而 TypeScript 是 JavaScript 的超集，它在 JavaScript 语法基础上增加了静态类型系统，通过编译器（tsc）在代码运行前检查类型错误，最终编译成纯 JavaScript 运行。
JavaScript 中如何“模拟”类型检查
虽然原生 JS 没有类型声明，但可以通过以下方式增强类型安全性：
-
运行时类型判断：用
typeof、Array.isArray()、instanceof或Object.prototype.toString.call()做基础校验。例如：if (typeof value === 'string') { /* 安全处理字符串 */ } - 第三方库辅助：如 Runtypes、io-ts 可定义运行时类型契约，自动校验数据结构（常用于 API 响应解析）。
-
JSDoc + IDE 支持：用 JSDoc 注释类型，配合 VS Code 等编辑器提供基础提示和检查（非强制，不报错）：
/** @param {number[]} nums */ function sum(nums) { ... }
TypeScript 不是新语言，而是 JS 的“增强工具链”
TypeScript 编写的代码必须经过编译（tsc）才能运行，这个过程会：
- 移除所有类型注解（
let x: string→let x），不改变逻辑； - 将新语法（如可选链、class 字段、装饰器等）降级为兼容目标环境的 JS；
- 在编译阶段报告类型不匹配问题（如给数字变量赋字符串值），但不会影响生成代码的执行。
换句话说：你写的是 TS，跑的是 JS；TS 负责帮你提前发现问题，JS 负责实际干活。
立即学习“Java免费学习笔记（深入）”；
两者共存很常见，不是非此即彼
很多项目采用渐进式迁移策略：
- 新建文件用
.ts，老文件保留.js； - 通过
allowJs: true和checkJs: true让 TS 编译器也检查 JS 文件中的 JSDoc 类型； - 用
// @ts-ignore或// @ts-check在单个 JS 文件中按需启用类型检查。
这种混合模式让团队能在不重写旧代码的前提下，逐步提升类型覆盖率和可维护性。
基本上就这些。TypeScript 不替代 JavaScript，而是给它配了一副“能提前看清路”的眼镜——看得更清，但走的还是同一条路。
