What does the following type produce and how does it work? type Zip = T extends [infer TH, …infer TT] ? U extends [infer UH, …infer UT] ? [[TH, UH], …Zip] : [] : [];

Explanation

The type Zip creates a tuple of paired elements from T and U, similar to Python's zip function. It stops at the shorter tuple and is fully resolved at the type level.

Key points

Zip function pairs elements from T and U
Resolves at the type level
Stops at the shorter tuple
Mimics Python's zip behavior

Ready to go further?

Start full exam Practice more questions