联合类型由一组有序的成员类型构成，联合类型表示类型可以为若干类型之一，等同于运算符 `||`，类似于数学运算中的加法。需要注意的是联合类型是通过联合类型字面量来定义的。