Compare Array Length

In this medium-level challenge, you'll implement CompareArrayLength<T, U> which compares the lengths of two arrays, returning 1 if T is longer, -1 if U is longer, and 0 if they are equal.

type cases = [
  Expect<Equal<CompareArrayLength<[1, 2, 3, 4], [5, 6]>, 1>>,
  Expect<Equal<CompareArrayLength<[1, 2], [3, 4, 5, 6]>, -1>>,
  Expect<Equal<CompareArrayLength<[], []>, 0>>,
  Expect<Equal<CompareArrayLength<[1, 2, 3], [4, 5, 6]>, 0>>,
]

Detailed Explanation

type CompareArrayLength<T extends any[], U extends any[]> =
  T extends [any, ...infer TRest]
    ? U extends [any, ...infer URest]
      ? CompareArrayLength<TRest, URest>
      : 1
    : U extends [any, ...any[]]
      ? -1
      : 0

How it works:

• We recursively remove one element from the front of both arrays simultaneously
• T extends [any, ...infer TRest] checks if T still has elements; if so, we also check U
• If both T and U have elements, we recurse with CompareArrayLength<TRest, URest> to compare the remaining portions
• If T has elements but U is empty, T is longer so we return 1
• If T is empty but U still has elements (U extends [any, ...any[]]), U is longer so we return -1
• If both are empty, their lengths are equal so we return 0

This challenge helps you understand recursive tuple deconstruction for comparing structural properties of arrays and how to apply this concept in real-world scenarios.