N.º 213 · 21 de julio de 2026 · Media

Desenvuelve

Implementa `Unwrap<T>` para que quite todas las capas de `Promise`, por muy anidadas que estén. Un tipo que no sea promesa pasa sin cambios.

Intenta el puzle tú mismo

Par 3

unwrap-promise.ts

type Unwrap<T> = ???

type Unwrap<T> = ???

Intento 1 de 3Aún sin comprobar

Sustituye ??? — tu solución se comprueba con los casos de abajo.

Cómo se juzga una comprobación Igualdad exacta de tipos, no asignabilidad — una intersección no es lo mismo que el objeto aplanado.

Nobody is counting yet. Score distribution and the juego corto board arrive with accounts — until then your results stay on this device.

Publicado el 22 de julio de 2026

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

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

Esto quita exactamente una capa. `Promise<Promise<number>>` queda en `Promise<number>` y se detiene. La llamada recursiva es lo que lo hace total.

T extends Promise<infer Inner>
Empareja `T` con la forma `Promise<algo>` y vincula ese algo a `Inner`.
? Unwrap<Inner>
Recursión. `Inner` puede ser a su vez una promesa, así que se repite la misma pregunta hasta que la respuesta sea no.
: T
El caso base. No es una promesa, así que `T` ya es el tipo del valor.

Un tipo condicional que se llama a sí mismo en la rama verdadera es el equivalente a un bucle `while` a nivel de tipos. La rama falsa es la salida.