04471-medium-zip.ts

// ============= Test Cases =============
import type { Equal, Expect } from "./test-utils";

type cases = [
  Expect<Equal<Zip<[], []>, []>>,
  Expect<Equal<Zip<[1, 2], [true, false]>, [[1, true], [2, false]]>>,
  Expect<Equal<Zip<[1, 2, 3], ["1", "2"]>, [[1, "1"], [2, "2"]]>>,
  Expect<Equal<Zip<[], [1, 2, 3]>, []>>,
  Expect<Equal<Zip<[[1, 2]], [3]>, [[[1, 2], 3]]>>
];

// ============= Your Code Here =============
type Zip<A extends any[], B extends any[], C extends any[] = []> = A extends [
  infer AL,
  ...infer AR
]
  ? B extends [infer BL, ...infer BR]
    ? Zip<AR, BR, [...C, [AL, BL]]>
    : []
  : [];