语言定位
TypeScript是由微软开发的开源编程语言，首次发布于2012年。作为JavaScript的超集（Superset），任何有效的JavaScript代码都是有效的TypeScript代码。TypeScript在JavaScript的基础上添加了可选的静态类型系统和基于类的面向对象编程特性，最终编译为纯JavaScript代码运行。
TypeScript的设计目标是在不破坏JavaScript生态系统的前提下，为大型应用开发提供静态类型检查、更好的IDE支持（智能提示、自动补全、重构工具）和更易于维护的代码结构。它并非要取代JavaScript，而是作为JavaScript的"开发时增强层"——类型信息仅在编译时存在，运行时完全擦除，生成的JavaScript代码不包含任何类型相关的开销。
TypeScript的编译器（tsc）负责将TypeScript源码转换为指定版本的JavaScript（可配置目标为ES3至最新版本），同时进行静态类型检查。类型检查可以在编译时捕获大量潜在错误（如访问不存在的属性、函数参数类型不匹配、null值误用等），显著减少运行时错误，提升代码的健壮性和可维护性。
基础类型
TypeScript在JavaScript的原始类型基础上进行了扩展和细化。boolean、number、string、null、undefined、symbol、bigint等原始类型都有对应的类型注解。any类型表示任意类型，赋予该类型的变量可以接受任何值，且不会进行类型检查——应尽量避免使用any，因为它会丧失TypeScript的类型安全保障。unknown类型（TypeScript 3.0引入）与any类似，表示未知类型，但对unknown值进行操作前必须进行类型检查或类型断言，因此比any更安全。
数组类型有两种声明方式：类型后加方括号（number[]）或使用泛型数组接口（Array<number>）。元组类型（Tuple）允许表示一个已知元素数量和类型的数组，各元素类型不必相同，如[string, number]表示第一个元素为字符串、第二个元素为数字的数组。元组的长度是固定的，超出定义长度的访问会受到类型检查的限制。
枚举类型（enum）为一组数值赋予友好的名字。默认情况下，枚举成员从0开始自动递增赋值。可以手动指定成员的数值，甚至使用字符串枚举。常量枚举（const enum）在编译时会被完全内联，不会生成额外的JavaScript对象，适用于纯粹作为常量集合使用的场景。
void类型表示没有任何返回值的函数（实际返回undefined）。never类型表示那些永不存在的值的类型，例如总是抛出异常的函数、存在无法到达的终点的函数的返回类型，或是穷尽类型检查后的剩余类型。object类型表示非原始类型的任何值（与Object不同，后者包含原始类型的包装对象）。
类型推断是TypeScript的重要特性。当变量声明时赋予初始值，或函数有默认返回值时，TypeScript能够自动推断出类型，无需显式注解。上下文类型（Contextual Typing）则使TypeScript能够根据变量所在的位置推断其类型，如事件处理函数的参数类型会根据绑定的事件类型自动推断。
接口与类型别名
接口（interface）是TypeScript中定义对象形状的核心机制。它描述了对象应当具有的属性及其类型，但不提供实现。接口支持可选属性（属性名后加?）、只读属性（readonly修饰符）和索引签名（描述动态属性名的类型约束）。接口的声明合并（Declaration Merging）特性允许多个同名的接口声明自动合并为一个接口，这在扩展第三方库的类型定义时非常有用。
类型别名（type alias）使用type关键字定义，可以为任意类型创建新名字。与接口相比，类型别名可以表示原始类型、联合类型、元组等接口无法表达的类型，但不支持声明合并。在定义对象类型时，接口和类型别名在大多数情况下可以互换使用，选择哪一个往往取决于团队规范和具体场景需求。
接口的继承通过extends关键字实现，子接口继承父接口的所有成员，并可以添加新成员或覆盖已有成员（需保持类型兼容）。类型别名通过交叉类型（Intersection Types，使用&运算符）实现组合，将多个类型的成员合并为一个类型。两者的关键区别在于处理同名属性时的行为：接口继承要求同名属性的类型必须兼容（通常是子类型关系），而交叉类型会将同名属性合并为交叉类型（若类型不兼容则产生never）。
函数接口定义了函数的调用签名，包括参数列表和返回值类型。可索引接口定义了对象的索引访问方式（字符串索引或数字索引）。类接口（通过implements关键字）约束类的公共实例侧形状，但不涉及类的静态侧或实现细节。
泛型
泛型（Generics）是TypeScript实现代码复用的核心机制，它允许在定义函数、接口或类时不预先指定具体的类型，而是在使用时再指定。泛型使组件能够支持多种类型，同时保持类型安全，避免了为每种类型重复编写相似代码，也避免了使用any类型丧失类型检查的问题。
泛型通过类型参数（Type Parameters）实现，通常使用单个大写字母（如T、U、V）或具有描述性的名称（如TKey、TValue）表示。类型参数放置在尖括号中，紧跟在函数名、接口名或类名之后。例如，function identity<T>(arg: T): T { return arg; } 定义了一个接受任意类型参数并返回同类型值的泛型函数。
泛型约束（Generic Constraints）通过extends关键字限制类型参数必须满足的条件。例如，<T extends { length: number }>约束T必须具有length属性。这样，泛型函数内部就可以安全地访问length属性，而不会出现"类型上不存在该属性"的错误。多个类型参数之间也可以互相约束。
泛型接口和泛型类将泛型参数提升到接口或类级别，使其在所有成员中可用。泛型类的静态成员不能引用类级别的类型参数。泛型参数的默认类型（TypeScript 2.3+）允许在调用时省略类型参数，使用预设的默认值。
条件类型（Conditional Types，TypeScript 2.8+）允许根据类型关系选择类型，语法为T extends U ? X : Y。例如，type NonNullable<T> = T extends null | undefined ? never : T; 定义了一个过滤掉null和undefined的工具类型。条件类型与infer关键字结合，可以从类型中提取部分信息，如返回类型、参数类型等，这是实现高级类型工具的基础。
高级类型
联合类型（Union Types，使用|运算符）表示一个值可以是几种类型之一。类型保护（Type Guards）是在运行时检查类型的技术，使TypeScript能够在代码块内缩小联合类型的范围。常见的类型保护方式包括：typeof检查（适用于原始类型）、instanceof检查（适用于类实例）、in操作符检查（适用于对象属性存在性）和自定义类型保护函数（返回值为parameter is Type的谓词函数）。
映射类型（Mapped Types）基于已有类型创建新类型，通过遍历属性名并转换属性类型实现。TypeScript内置了多个实用的映射类型：Partial<T>将所有属性变为可选；Required<T>将所有属性变为必填；Readonly<T>将所有属性变为只读；Pick<T, K>从T中选取部分属性；Omit<T, K>从T中排除部分属性；Record<K, T>创建一个属性名为K、属性值为T的对象类型。这些工具类型极大地减少了样板代码的编写。
字面量类型（Literal Types）允许将特定的字符串、数字或布尔值作为类型。结合联合类型，可以实现类似枚举的效果，且更加灵活。字符串字面量类型在定义一组允许的字符串值时特别有用，如HTTP方法类型：type Method = 'GET' | 'POST' | 'PUT' | 'DELETE'。
模板字面量类型（Template Literal Types，TypeScript 4.1+）允许通过模板字符串语法构建新的字符串类型。结合条件类型和infer，可以实现强大的字符串类型操作，如类型安全的URL路径参数提取、事件名处理等。
索引访问类型（Indexed Access Types）通过类似属性访问的语法从类型中提取部分类型，如T['name']提取T的name属性的类型。keyof操作符提取类型的所有属性名组成的联合类型。这两个操作符配合泛型，可以实现高度抽象的类型操作。
配置与编译
TypeScript通过tsconfig.json文件配置编译选项。该文件通常位于项目根目录，通过tsc --init命令可以快速生成包含所有选项和注释的初始文件。配置分为compilerOptions（编译器选项）、include（包含的文件）、exclude（排除的文件）和extends（继承其他配置文件）等部分。
关键的编译选项包括：target指定生成的JavaScript版本（如ES2015、ES2020、ESNext）；module指定模块系统（CommonJS、ES2015、ESNext等）；strict启用所有严格类型检查选项（强烈推荐）；noImplicitAny禁止隐式的any类型；strictNullChecks启用严格的null和undefined检查；esModuleInterop启用对CommonJS模块的互操作性支持；jsx指定JSX代码的处理方式（preserve、react、react-jsx等）；outDir指定输出目录；rootDir指定源码根目录；declaration生成.d.ts声明文件；sourceMap生成源映射文件以便调试。
类型声明文件（.d.ts）用于为没有内置TypeScript支持的JavaScript库提供类型信息。这些声明文件描述了库的公共API的类型签名，使TypeScript编译器能够理解库的类型结构。DefinitelyTyped社区维护了大量流行JavaScript库的类型声明，通过@types/命名空间发布在npm上。
三斜线指令（/// <reference path="..." />）用于声明文件之间的依赖关系，在模块化开发中已较少使用，但在声明文件组织和全局类型扩展中仍有其作用。namespace（原module）用于组织全局命名空间中的类型，在现代ES模块体系中，推荐使用ES模块的import/export语法替代。
工程实践
在大型项目中，TypeScript的类型系统不仅是错误检测工具，更是代码的文档和契约。良好的类型设计应当遵循"使非法状态不可表示"的原则——通过精确的类型定义，在编译阶段就排除不合理的程序状态，而非在运行时通过条件检查处理。
类型驱动开发（Type-Driven Development）强调先设计类型，再实现逻辑。清晰的类型签名能够暴露设计的缺陷，如职责不单一、依赖关系混乱等。 discriminated union（可辨识联合类型）是处理复杂状态机的利器，通过共同的判别属性（discriminant property）区分不同的状态变体，配合switch语句实现穷尽性检查。
在React等前端框架中使用TypeScript时，应当为组件的props定义接口，利用泛型组件实现类型安全的复用。useState等Hooks的泛型参数可以明确状态类型，避免类型推断过于宽泛。事件处理函数的类型应根据绑定的事件类型精确指定，如React.MouseEvent<HTMLButtonElement>。
避免过度使用类型断言（as）。类型断言是告诉编译器"相信我，这个值是这个类型"，它绕过了类型检查，使用不当会引入运行时错误。仅在确实比编译器更了解值的类型时使用，且优先考虑使用类型保护函数或更精确的类型定义来消除断言的必要性。