Tipos avanzados en TypeScript

Los conditional types permiten que el compilador infiera tipos según la forma de tus datos.

typescript
type ApiResponse<T> = T extends string ? { message: T } : { data: T };

type A = ApiResponse<string>;  // { message: string }
type B = ApiResponse<number>;  // { data: number }

Combinados con infer, podés extraer tipos anidados de funciones async o de librerías sin documentación.

La curva de aprendizaje es empinada, pero una vez que los dominás, el DX de tu equipo sube un nivel entero.