Tipos Condicionales e infer

Los tipos condicionales permiten expresar decisiones de tipo no triviales basándose en relaciones de herencia. La sintaxis se asemeja a la del operador ternario de JavaScript:

T extends U ? X : Y

Si el tipo T se puede asignar a U, entonces el tipo resultante será X, de lo contrario será Y.

Tipos condicionales básicos

Un tipo condicional evalúa una condición a nivel de tipo de forma estática:

type IsNumber<T> = T extends number ? true : false;

type A = IsNumber<number>; // true
type B = IsNumber<string>; // false

Este patrón es extremadamente potente cuando se combina con genéricos para crear tipos de utilidad flexibles y dinámicos.

Extracción de tipos con infer

Dentro de la cláusula extends de un tipo condicional, podemos usar la palabra clave infer para declarar una variable de tipo que debe ser deducida por el compilador.

Por ejemplo, si queremos extraer el tipo devuelto por una función:

type GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

type FunzioneEsempio = () => string;
type Ritorno = GetReturnType<FunzioneEsempio>; // string

En este ejemplo, infer R le indica a TypeScript que deduzca automáticamente el tipo de retorno de la función y lo ponga a disposición como R en la rama positiva del condicional.

Pruébalo tú mismo

Ejercicio 1: El tipo IsString

Ejercicio 2: Extraer el tipo de un Array con infer