你有没有遇到过这样的情况？明明传了个字符串，结果代码运行时却当成数字处理，最后程序报错，调试半天才发现是数据类型出了问题。这种情况在纯ref="/tag/137/" style="color:#E3A3CF;font-weight:bold;">JavaScript项目里太常见了。而TypeScript的出现，正是为了解决这类“低级但致命”的错误。
为什么需要类型系统
JavaScript是一门动态类型语言，写起来很自由，但项目一大，维护起来就头疼。比如你写了一个函数，期望接收一个用户对象，包含name和age字段：
function sayHello(user) {
return `你好，${user.name}，你今年${user.age}岁了`;
}看起来没问题，但如果调用的时候不小心传了个格式不对的对象，比如把age写成字符串，甚至忘了传参数，JavaScript不会立刻报错，等到运行时才出问题。TypeScript通过静态类型检查，在你写代码的时候就能发现这些问题。
TypeScript中的基础类型
TypeScript支持JavaScript已有的原始类型，比如string、number、boolean，并且要求你在声明变量时标明类型：
let userName: string = '张三';
let age: number = 25;
let isActive: boolean = true;如果你试图给age赋值一个字符串，TypeScript编译器就会提示错误：
age = '二十五'; // 类型 '"二十五"' 不能赋值给类型 'number'这种提前拦截错误的方式，就像在代码里装了“监控摄像头”，哪里越界一目了然。
对象类型的定义
回到前面的用户对象例子，TypeScript可以用接口（interface）来描述结构：
interface User {
name: string;
age: number;
}
function sayHello(user: User) {
return `你好，${user.name}，你今年${user.age}岁了`;
}现在只要传入的对象不符合User的结构，编辑器就会标红提醒。你不用等到运行才知道错了。
数组与联合类型
数组也可以标注类型。比如你想写一个存放学生名字的列表：
let students: string[] = ['小明', '小红', '小刚'];
// 或者使用泛型写法
let scores: Array<number> = [88, 92, 76];有时候一个值可能是多种类型之一，比如id字段可能是数字也可能是字符串，这时候可以用联合类型：
let userId: string | number;
userId = 123;
userId = 'abc123'; // 都可以让类型更灵活：可选属性与any
不是所有字段都必须存在。TypeScript允许用?标记可选属性：
interface Product {
id: number;
name: string;
price?: number; // 可选
}如果某些场景实在无法确定类型，也可以暂时用any，但要小心使用，它会关闭类型检查：
let rawData: any = JSON.parse('{"name": "手机"}');这适合过渡期或处理外部数据，但长期依赖any就失去了TypeScript的意义。
实际应用场景
假设你在做一个电商网站的购物车功能，计算总价时要遍历商品列表。每个商品应该有price字段，类型为number。如果有人误把price存成字符串，加法就会变成拼接。TypeScript能在开发阶段就抓住这个错误：
interface Item {
name: string;
price: number;
}
function calculateTotal(items: Item[]): number {
return items.reduce((sum, item) => sum + item.price, 0);
}只要price不是number，编辑器立刻警告。省去了上线后用户投诉“价格算错”的麻烦。
TypeScript的学习曲线并不陡峭，尤其是对已有JavaScript基础的人来说。从写第一个类型注解开始，你就踏上了更稳健的编码之路。