模块是组织 TypeScript 代码的基本单元。本文介绍 ES module、import/export 类型、namespace 的基础概念以及项目文件组织建议。

类型守卫是在运行时检查类型并缩小类型范围的技术。本文介绍 typeof、instanceof、可辨识联合、类型断言和 satisfies。

泛型让函数、类和接口支持多种类型，同时保持类型安全。本文介绍泛型的基本用法、约束 extends、多个参数以及常见的泛型工具。

类是面向对象编程的核心。TypeScript 在 JavaScript 的类语法之上，增加了属性修饰符、参数属性、抽象类和接口实现等类型特性。

函数是程序的基本行为单元。本文介绍 TypeScript 中函数的类型标注、可选默认参数、rest 参数、函数重载以及 this 类型。

interface 是 TypeScript 中描述对象形状的核心工具。本文介绍对象类型、interface 的声明合并与继承、type 与 interface 的对比。