TimTsai

如題

```ts type Unshift = [U,...T] ```

```ts type Push = [...T, U] ```

```ts type Includes = { [P in T[number]]: true }[U] extends true ? true : false ```

```ts type If = C extends true ? T :F ```

```ts type MyAwaited = T extends PromiseLike ? U extends PromiseLike? MyAwaited:U:never ```

```ts type Length = T['length'] ```

```ts type First = T extends []? never: T[0] ``` 1. T extends []：这部分表达式是一个条件类型，用来检查 T 是否可以赋值给 []，即 T 是否是一个空数组。在 TypeScript 中，extends 关键字在泛型中用于表示类型约束，在这里用来评估条件。 2. never：这是 TypeScript 中的一种类型，表示永不发生的值。例如，一个抛出异常或永不返回的函数会有 never 的返回类型。这里用它来表示当数组为空时，没有可返回的类型。 3. T[0]：这表示访问数组...

```ts type TupleToObject = { [P in T[number]]:P } ```