TypeScript Avanzado: Conditional Types, Mapped Types y Template Literals

El sistema de tipos de TypeScript es Turing completo. Esto significa que puedes codificar lógica compleja directamente en tus tipos.

Conditional Types

type IsString<T> = T extends string ? true : false
type Result = IsString<'hello'> // true
type Result2 = IsString<42>    // false

Mapped Types

Transforman propiedades de un tipo existente:

type Readonly<T> = {
  readonly [K in keyof T]: T[K]
}

type Optional<T> = {
  [K in keyof T]?: T[K]
}

Template Literal Types

type EventName = `on${Capitalize<string>}`
type ClickEvent = EventName & 'onClick' // 'onClick'

Conditional Inference

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

Utility Types personalizados

type DeepPartial<T> = {
  [K in keyof T]?: T[K] extends object ? DeepPartial<T[K]> : T[K]
}

type NonEmptyArray<T> = [T, ...T[]]

Conclusión

Dominar estos patrones reduce errores en compilación y elimina categorías enteras de bugs en producción. Un sistema de tipos expresivo es la mejor documentación que puede tener tu código.