Doce conceptos

Alias de tipos

Un nombre para un tipo. Todo lo demás es un alias que recibe argumentos.

Parámetros genéricos

Los alias reciben argumentos. `extends` aquí es una restricción, no herencia.

keyof y acceso indexado

`keyof T` es la unión de las claves de T; `T[K]` lee el tipo de una propiedad.

Tipos mapeados

Construye un objeto iterando una unión de claves: `{ [K in Keys]: Value }`.

Se practica en#212 Reconstruye Pick#219 Reconstruye Partial#226 Reconstruye Readonly#235 EligePorTipo#236 Getters#241 Reconstruye Required#242 Fusiona#246 Entradas#247 Omitir por tipo#249 Opcionales, pero solo estas#256 Invertir#257 De tupla a objeto#258 Qué claves son opcionales

Modificadores

Añade o quita `readonly` y `?` al mapear, con `+` y `-`.

Se practica en#212 Reconstruye Pick#219 Reconstruye Partial#226 Reconstruye Readonly#235 EligePorTipo#236 Getters#241 Reconstruye Required#242 Fusiona#246 Entradas#247 Omitir por tipo#249 Opcionales, pero solo estas#256 Invertir#257 De tupla a objeto#258 Qué claves son opcionales

Tipos condicionales

`A extends B ? X : Y` — el `if` a nivel de tipos, sobre asignabilidad.

Se practica en#220 Reconstruye Exclude#230 Permutación#238 UniónAIntersección#248 ¿Es never?

infer

Vincula una variable de tipo dentro de un patrón y úsala en la rama verdadera.

Se practica en#213 Desenvuelve#221 Tipo de retorno

Distributividad

Un parámetro desnudo en un condicional se distribuye sobre uniones. `[T]` lo detiene.

Se practica en#220 Reconstruye Exclude#230 Permutación#238 UniónAIntersección#248 ¿Es never?

Tipos de literal de plantilla

Patrones de cadena a nivel de tipos. Con `infer`, analizan texto.

Se practica en#214 Parámetros de ruta#217 Divide#224 Une#225 Recorta#228 Reemplaza#231 CamelCase#233 EmpiezaPor#243 Valor absoluto#244 Repite#252 Cadena de consulta#253 Snake case

Recursión

Un tipo condicional que se llama a sí mismo. La rama falsa es la salida.

Se practica en#215 Solo lectura profundo#222 Invierte#227 Incluye#229 Aplana#237 Únicos#240 Filtra#245 Rutas#251 Opcional hasta el fondo

Tuplas variádicas

Expande tuplas dentro de tuplas. `length` las convierte en un contador.

Se practica en#216 Suma a nivel de tipos#218 Último#223 Resta a nivel de tipos#232 Zip#234 TuplaAUnión#239 Trocea#250 Rellenar#254 Sin#255 Primero

Igualdad exacta

Por qué `Equal<X, Y>` no es `extends`, y por qué una intersección no la pasa.