前端涤生

实现一个类型工具 MyExclude<T,U>，从联合类型T中排除U的类型成员，构造出一个新的类型。

假如我们有一个 `Promise` 对象，这个 `Promise` 对象会返回一个类型。在 `TS` 中，我们用 `Promise` 中的 `T` 来描述这个 `Promise` 返回的类型。请你实现

实现一个类型工具 First<T>，其中T是一个元组类型，返回这个元组的第1个元素的类型，如果元组是空的，返回 never 类型。

实现一个类型工具 Length<T>，其中 T 是一个元组类型，执行类型工具后，返回这个元组类型的长度。

实现一个类型工具 TupleToObject<T>，接收一个元组类型T，将这个元组类型转换为对象类型，这个对象类型的键/值都是从元组中遍历出来。

实现一个类型工具 MyReadonly<T>，接收一个类型参数T，返回一个和T完全一样的类型，只不过所有的属性都被 readonly 修饰。

实现一个类型工具函数 MyPick<T, K>。 其中，K 是一个属性的集合 (类比于JS的数组), T 是一个interface(类比于JS的对象)，请从类型 T 中筛选出包含在 K 中的属性。

「TS类型体操」是一个 TypeScript 的题库，类似于 leetcode 的做题机制，通过做题能更好地了解 TS 的类型系统，在工作中编写出更优雅的类型工具🔧。

博弈类的问题常常让我们摸不着头脑。当我们没有解题思路的时候，不妨试着写几项试试，根据写出来的项猜想规律并尝试证明。