TypeScript Eficaz, 2ª Edición

Capítulo 6. Genéricos y programación a nivel de tipo

Este trabajo se ha traducido utilizando IA. Agradecemos tus opiniones y comentarios: [e-mail]

El sistema de tipos de TypeScript está diseñado para modelar el comportamiento en tiempo de ejecución del código JavaScript. Dado que JavaScript es tan dinámico y permisivo, esto ha empujado al sistema de tipos de TypeScript a desarrollar capacidades cada vez más potentes. Como se explicó en el Tema 15, esto incluye la lógica para el mapeo entre tipos.

Cuando añades alias de tipos genéricos a la mezcla, el sistema de tipos de TypeScript se vuelve lo suficientemente potente como para que puedas pensar en él como en su propio lenguaje de programación independiente. (El sistema de tipos de TypeScript es Turing Completo, así que esto es cierto en un sentido formal). En lugar de programar con valores, como haces en JavaScript, ahora programas con tipos. En otras palabras, programación a nivel de tipos. Esto es distinto de la metaprogramación (escribir programas que operan sobre programas), aunque a veces se confunden ambos términos.

Aprender nuevos lenguajes es divertido, y puedes encontrar todo tipo de aplicaciones salvajes construidas utilizando el sistema de tipos de TypeScript, desde juegos hasta analizadores SQL. Esto ha sido impulsado en parte por el proyecto Type Challenges, que incluye cientos de rompecabezas cada vez más difíciles de resolver en el sistema de tipos. Resolverlos mientras lees este capítulo ...