高级类型

类型别名

变量声明的方式，为值声明别名，类似的，可以为类型声明别名，类型别名主要是解决重复复杂的类型输入（DRY）

type Age = number;

类型别名采用块级作用域，同一类型不能重复声明两次。

联合类型和交叉类型

联合类型和交叉类型的概念很像并集和交集。