Rozpakuj

Rozwiązanie

type Unwrap<T> = T extends Promise<infer Inner> ? Unwrap<Inner> : T

Najczęstsza błędna odpowiedź

type Unwrap<T> = T extends Promise<infer Inner> ? Inner : T

To zdejmuje dokładnie jedną warstwę. `Promise<Promise<number>>` staje się `Promise<number>` i na tym koniec. Dopiero wywołanie rekurencyjne czyni to kompletnym.

Linia po linii

1. T extends Promise<infer Inner>

   Dopasowuje `T` do kształtu `Promise<coś>` i wiąże to coś z `Inner`.

2. ? Unwrap<Inner>

   Rekurencja. `Inner` samo może być obietnicą, więc to samo pytanie zadawane jest ponownie, aż odpowiedź brzmi „nie”.

3. : T

   Przypadek bazowy. To nie obietnica, więc `T` jest już typem wartości.

Do zapamiętania

Typ warunkowy wywołujący sam siebie w gałęzi prawdziwej to odpowiednik pętli `while` na poziomie typów. Gałąź fałszywa jest wyjściem.