type-challenges

type-challenges copied to clipboard

```ts type Has = T extends [infer H, ...infer R] ? Equal extends true ? true : Has : false; type Unique = T extends [...infer P, infer R] ?...

Ping-Gao

```ts // 你的答案 type Concat = [...T,...U] ```

userakf

```ts // 你的答案 type Merge = { [K in keyof F | keyof S]:K extends keyof S ? S[K] : K extends keyof F ? F[K] : never } ```

userakf

```ts // 你的答案 type StringToUnion = T extends `${infer F}${infer R}` ? F | StringToUnion : never ```

userakf

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

s-hiraoku

```ts type Join = T extends [ infer H, ...infer R ] ? H extends string ? R extends string[] ? R extends [] ? H : `${H}${U}${Join}` : never...

Ping-Gao

```ts // your answers type TupleToUnion = T[number]; type OtherSolutionOfTupleToUnion = T extends Array ? K : never; ```

jiaaoMario

```ts // your answers type TupleToObject = { [K in T[number]]: K; } ```

jiaaoMario

```ts type First = T extends [infer K, ...any[]] ? K : never; type PopFront = T extends [any, ...infer P] ? P : never; type Target = T extends...

Ping-Gao

```ts // 你的答案 type AppendToObject = { [K in U | keyof T] : K extends keyof T ? T[K] : V } ```

userakf