type challenges

Exclude 排除联合类型中的一部分。 声明泛型，泛型参数 T 和 U都是联合类型。 判断如果类型不在 U 中，则返回类型，否侧返回 never Distributive Conditional T

Length of Tuple 获取 tuple 类型的长度。 声明一个泛型 限制泛型参数 T 为 tuple 类型 获取 length 属性

Tuple to Object 将 tuple 类型转为对象类型。 as const 将变量标记为不可变。 typeof 一个不可变的数组会得到一个 tuple 类型。 T[number]会得到一个联

Readonly 将类型变为只读。 首先声明一个 MyReadonly 类型。 该类型接受一个泛型参数 用 keyof 来获取 T 的属性组成的联合类型，再用 in 来遍历这个联合类型 添加 read

Pick 用来获取对象类型的部分类型。 首先声明一个 MyPick 类型。 按照要求该类型需要接受两个泛型参数，一个类型 T 和 一个联合类型 K。 T 的所有属性会组成一个联合类型，K 必须是这个联