TypeScript
为 JavaScript 添加类型语法，提升大型项目的开发体验。
项目概述
TypeScript 是 JavaScript 的静态类型超集，可在运行前发现许多常见错误，并为编辑器提供自动补全、重构和导航能力。
TypeScript 由 Microsoft 开发并采用 Apache-2.0 许可证。它建立在 JavaScript 之上，通过静态类型检查在代码运行前发现类型不匹配，并最终擦除类型语法、输出可在浏览器或 JavaScript 运行时执行的代码。由于类型系统支持推断和渐进采用，团队既可以为新项目启用严格检查，也可以从现有 JavaScript 代码逐步迁移。
主要特点
TypeScript 在保留 JavaScript 灵活性的同时，为代码理解、维护和协作增加类型保障。
渐进式类型系统
可以从纯 JavaScript、JSDoc 和 checkJs 逐步过渡到完整的 .ts 文件，不要求一次性重写整个项目。
智能类型推断
编译器能够从变量初始值、函数返回值和上下文推导类型，减少重复注解并保持代码简洁。
控制流分析与类型收窄
通过 typeof、in、判别联合和自定义类型守卫，根据程序分支精确判断变量在当前位置的类型。
强大的类型组合能力
泛型、联合类型、交叉类型、映射类型、条件类型和模板字面量类型可描述复杂 API 约束。
完善的编辑器体验
类型信息为自动补全、参数提示、跳转定义、查找引用和安全重构提供可靠基础。
JavaScript 生态兼容
可以直接使用 JavaScript 包，并通过包内置声明或 DefinitelyTyped 的 @types 声明获得类型支持。
可配置的编译器
tsconfig.json 可控制严格程度、模块解析、目标环境、声明文件输出和大型项目引用等行为。
适用场景
当代码规模、模块数量或协作人数增长时，TypeScript 的价值通常会更加明显。
中大型前端应用
适合组件、状态和接口模型较多的 React、Vue、Svelte 与 Angular 项目，降低跨模块修改风险。
Node.js 服务端
可为路由、服务层、数据库模型和领域对象建立明确契约，并与现代 Node.js 工具链配合。
公共库与 SDK
通过生成 .d.ts 声明文件为使用者提供完整类型提示，同时仍能发布普通 JavaScript 产物。
大型 Monorepo
项目引用和共享类型包有助于拆分代码边界、复用领域模型，并提升跨包重构的可靠性。
遗留 JavaScript 迁移
allowJs、checkJs、JSDoc 和逐文件转换允许团队在持续交付的同时分阶段提高类型覆盖率。
优点与注意事项
技术选型不仅要看能力，也要理解它带来的团队成本。
主要优点
TypeScript 擅长的地方
- 在代码运行前发现大量参数、属性和返回值错误
- 显著改善自动补全、代码导航和重构体验
- 类型可作为模块边界和公共 API 的可执行文档
- 兼容 JavaScript 语法、运行时与庞大的 npm 生态
- 支持渐进采用，既适合新项目也适合存量代码迁移
需要注意
采用前应考虑的问题
TypeScript 编译后会擦除大多数类型信息，无法验证 API 响应、用户输入或本地存储中的真实数据。
静态检查不能发现所有业务错误、竞态条件和运行时异常，仍需要测试、监控与输入校验。
过度使用 any、类型断言、非空断言或 @ts-ignore 会绕过检查，应限定范围并说明原因。
module、moduleResolution、target 和 lib 应与 Node.js、浏览器或打包器保持一致，否则可能出现类型正确但运行失败。
复杂条件类型和递归泛型虽然强大，但会影响可读性、错误信息和检查性能，应优先选择清晰的领域模型。
快速开始
在一个最小 Node.js 项目中安装 TypeScript、启用严格模式并完成第一次类型检查。
bashmkdir hello-typescript
cd hello-typescript
npm init -y
npm install --save-dev typescript
npx tsc --init --stricttypescripttype Role = "admin" | "member";
interface User {
id: number;
name: string;
role: Role;
}
function welcome(user: User): string {
const badge = user.role === "admin" ? "管理员" : "成员";
return `欢迎 ${user.name}（${badge}）`;
}
const user: User = {
id: 1,
name: "Ada",
role: "admin",
};
console.log(welcome(user));typescripttype Result<T> =
| { ok: true; data: T }
| { ok: false; error: string };
function unwrap<T>(result: Result<T>): T {
if (result.ok) {
return result.data;
}
throw new Error(result.error);
}
const result: Result<User> = { ok: true, data: user };
console.log(unwrap(result).name);bash# 只检查类型，不生成文件
npx tsc --noEmit
# 按照 tsconfig.json 编译为 JavaScript
npx tsc下一步：优先启用 strict，让类型从函数边界和业务模型开始发挥作用；对于网络响应、表单和环境变量等外部数据，仍需使用 Zod 等方案做运行时校验。
类似项目
这些工具也尝试为 JavaScript 开发提供更可靠的类型信息或更强的编译期约束。
TypeScript vs JavaScript
TypeScript 不是独立于 JavaScript 的运行时语言，而是 JavaScript 的带类型扩展；两者最终都在相同的浏览器或服务器运行时中执行。
| 比较维度 | TypeScript | JavaScript |
|---|---|---|
| 类型检查 | 运行前执行静态类型检查 | 动态类型，主要在运行时暴露类型错误 |
| 文件与语法 | .ts / .tsx，支持类型注解与类型操作 | .js / .jsx，浏览器和运行时可直接解析 |
| 构建步骤 | 通常需要检查并移除类型语法 | 简单项目可以不经过编译直接运行 |
| 编辑器体验 | 类型驱动的补全、导航和安全重构更完整 | 依赖推断与 JSDoc，复杂项目的信息可能较少 |
| 团队协作 | 接口和领域模型形成明确的代码契约 | 约定更灵活，但常依赖文档、测试和人工沟通 |
| 迁移方式 | 支持 allowJs、checkJs 和逐文件迁移 | 可保持现状，也可先通过 JSDoc 增加类型信息 |
| 更适合 | 长期维护、多人协作和公共 API 较多的项目 | 小型脚本、快速原型和无需构建的简单页面 |
对于需要长期维护、多人协作或频繁重构的应用与库，通常优先使用 TypeScript 并开启 strict；对于一次性脚本和非常小的页面，JavaScript 更直接。存量项目无需重写，可以先启用 checkJs、补充 JSDoc，再逐步迁移关键模块。
资料核验
版本、维护信息与本页采用的官方资料来源。
本次核验覆盖 TypeScript 的核心定位、主要能力、官方入口与开源许可。项目版本持续更新，具体补丁版本、兼容性和迁移要求请在采用前继续核对官方发布记录。
官方仓库未归档，核验时最近可见的代码活动日期为 2026 年 7 月 23 日。该状态表示项目近期仍有公开维护活动，不代表固定发布频率或长期支持承诺。