TypeScript 的类型系统非常强大，因为它允许用其他类型表达类型。
这个想法最简单的形式就是泛型。此外，我们还有多种类型操作符可以使用。我们也可以用我们已有的值表达类型。
通过组合不同的类型操作符，我们可以用简洁、可维护的方式表达复杂的操作和值。在本部分中，我们将介绍如何用现有的类型或值表达新的类型。
- 泛型——带有参数的类型
- Keyof 类型操作符——使用
keyof操作符创建新的类型 - Typeof 类型操作符——使用
typeof操作符创建新的类型 - 索引访问类型——使用
Type['a']语法访问类型的子集 - 条件类型——类型系统中类似于 if 语句的类型
- 映射类型——通过映射现有类型的每个属性创建类型
- 模板字面量类型——通过模板字面量字符串改变属性的映射类型