TypeScript 是 JavaScript 的超集，添加可选静态类型系统以在编码阶段发现错误；支持类型声明、类型推断、接口和类型别名，并通过编译剥离类型输出纯 JavaScript。
TypeScript 不是 JavaScript 的替代品，而是它的超集——所有合法的 JavaScript 代码都是合法的 TypeScript 代码。它在 JavaScript 基础上添加了可选的静态类型系统，让开发者能在编码阶段就发现类型错误，而不是等到运行时才暴露问题。
类型声明让变量和函数更“可预测”
TypeScript 允许你为变量、函数参数、返回值等显式标注类型。比如：
let count: number = 42;
function greet(name: string): string { return `Hello, ${name}`; }
一旦类型写错，比如 greet(123)，TypeScript 编译器会立刻报错，而原生 JavaScript 会静默执行（可能产生意外结果）。
类型推断减少重复书写
你不必处处写类型。TypeScript 能根据初始值自动推断类型：
立即学习“Java免费学习笔记（深入）”；
let message = "Hi"; // 自动推断为 string
const numbers = [1, 2, 3]; // 推断为 number[]
这种“智能默认”让代码简洁，同时保持类型安全。
接口和类型别名支撑复杂结构
面对对象、数组或函数组合等复杂数据，可以用 interface 或 type 定义契约：
- interface User { name: string; age?: number; }
- type Callback = (data: string) => void;
这些定义不生成运行时代码，只供开发期检查，但极大提升了协作效率和重构信心。
编译过程剥离类型，输出纯 JavaScript
TypeScript 文件（.ts）不能直接在浏览器或 Node.js 中运行。它必须经过 tsc（TypeScript 编译器）编译成 .js 文件。编译时，所有类型注解都会被移除，只留下干净、标准的 JavaScript。
这意味着：类型检查发生在开发阶段，不影响运行时行为或性能。
基本上就这些——TypeScript 不改变 JavaScript 的运行逻辑，只是加了一层“提前把关”的能力，让大型项目更稳健、可维护性更强。
