ts之联合类型（｜）和交叉类型（&）

联合类型表示一个值的类型可以是几种类型之一。

type a = b | c: 表示a类型可以是b类型，或者是c类型。

交叉类型表示一个值的类型是几种类型的并集(集合)。有点类似于继承。

type a = b & c:表示a类型包含了b类型和c类型的所有特性(属性)。