Programación TypeScript

Capítulo 6. Tipos avanzados

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

TypeScript tiene un sistema de tipos de primera clase que soporta potentes características de programación a nivel de tipos que podrían poner celoso incluso al programador Haskell más cascarrabias. Como ya sabrás, ese sistema de tipos no sólo es increíblemente expresivo, sino también fácil de usar, y hace que declarar restricciones y relaciones de tipos sea sencillo, conciso y, la mayoría de las veces, inferido.

Necesitamos un sistema de tipos tan expresivo e inusual porque JavaScript es muy dinámico. Modelar cosas como prototipos, enlaces dinámicos this, sobrecargas de funciones y objetos siempre cambiantes requiere un rico sistema de tipos y un cinturón de operadores de tipos que harían que Batman se quedara pasmado.

Comenzaré este capítulo con una inmersión profunda en la subtipificación, la asignabilidad, la varianza y la ampliación en TypeScript, dando más definición a las intuiciones que has ido desarrollando a lo largo de los últimos capítulos. A continuación, trataré con más detalle las funciones de comprobación tipográfica basadas en el flujo de control de TypeScript, incluyendo el refinamiento y la totalidad, y continuaré con algunas funciones avanzadas de programación a nivel de tipo: introducción y asignación de tipos de objetos, uso de tipos condicionales, definición de tus propias protecciones de tipo y escapatorias como ...