JavaScript原生仅支持运行时类型检查，TypeScript是主流静态类型方案，深度集成开发流程；Flow为轻量级替代方案但已逐渐被TS取代。
JavaScript 本身是动态类型语言，运行时才确定变量类型，不支持编译期类型检查。要实现类型检查，需借助外部工具：主流方案是 TypeScript（TS）和 Flow，二者目标相似，但设计哲学、生态集成和实际使用体验差异明显。
JavaScript 原生如何做基础类型检查
纯 JavaScript 可通过 typeof、instanceof、Array.isArray()、Object.prototype.toString.call() 等运行时手段判断类型，但仅限简单场景，无法捕获函数参数错误、属性缺失、返回值不符等潜在问题。
例如：
-
typeof x === 'string'只能区分基本类型，对null返回'object'，对 class 实例也不够精确 -
x instanceof Date在跨 iframe 或多 Realm 环境下可能失效 - 无法在写代码时提示
user.name.toUpperCase()中user是否有name属性
TypeScript 是渐进式类型系统，深度集成开发流程
TypeScript 是 JavaScript 的超集，添加了静态类型语法（如 string、UserInterface、泛型、联合类型），并自带编译器 tsc。它不改变 JS 运行行为，只在开发阶段校验类型，最终编译为纯净 JavaScript。
立即学习“Java免费学习笔记（深入）”；
关键特点：
- 类型声明可内联（
const name: string = 'Alice'）或通过接口/类型别名定义，支持自动推导 - 与 VS Code 深度协同，提供实时错误提示、跳转定义、智能补全
- 支持
any、unknown、as const、type narrowing等精细控制类型安全级别 - 生态完善：绝大多数 npm 包提供
@types/xxx类型定义，React/Vue 官方推荐 TS
Flow 是轻量级类型注解方案，依赖独立类型检查器
Flow 由 Facebook 开发，采用“在 JS 注释中写类型”或 Babel 插件解析类型标注（如 // @flow + /* @flow */ 注释块），类型信息不进入生成代码。它更像一个独立的静态分析器，不编译代码，只报告错误。
典型用法：
- 在文件顶部加
// @flow，用/*:: type User = { name: string }; */或const user: User = { name: 'Bob' }; - 需单独运行
flow status或配合编辑器插件（如 Atom 的 flow-ide） - 类型推导能力强，但对第三方库类型支持弱于 TS，社区维护的
flow-typed库覆盖有限 - 2020 年后 Facebook 宣布逐步迁移到 TypeScript，Flow 更新放缓，新项目已不推荐选用
选型建议：优先 TypeScript
除非遗留 Flow 项目需维护，否则新项目应直接采用 TypeScript。它提供更稳定的工具链、更丰富的类型表达能力、更强的 IDE 支持和更活跃的社区。Flow 的轻量设计曾具吸引力，但缺乏编译环节导致类型与运行时脱节风险更高，且长期演进乏力。
一句话总结：TypeScript 把类型当成一等公民融入工程流；Flow 把类型当作可选的静态分析层——后者灵活但脆弱，前者严谨且可持续。
