Capítulo 3. Inferencia de tipos y análisis del flujo de control
Este trabajo se ha traducido utilizando IA. Agradecemos tus opiniones y comentarios: translation-feedback@oreilly.com
Para los lenguajes de programación utilizados en la industria , "tipado estáticamente" y "tipado explícitamente" han sido tradicionalmente sinónimos. C, C++, Java: todos ellos te obligaban a escribir tus tipos. Pero los lenguajes académicos nunca han confundido estas dos cosas: lenguajes como ML y Haskell tienen desde hace tiempo sofisticados sistemas de inferencia de tipos, y esto ha empezado a abrirse camino en los lenguajes industriales. C++ ha añadido auto, y Java ha añadido var. Lenguajes más recientes como Rust y Swift han tenido inferencia de tipos desde el principio.
TypeScript utiliza ampliamente la inferencia de tipos. Bien utilizado, esto puede reducir drásticamente el número de anotaciones de tipo que requiere tu código para obtener una seguridad de tipo completa. Una de las formas más fáciles de distinguir a un principiante en TypeScript de un desarrollador más experimentado es por el número de anotaciones de tipo. Un desarrollador experimentado de TypeScript utilizará relativamente pocas anotaciones (pero las utilizará con gran efecto), mientras que un principiante puede ahogar su código en anotaciones de tipo redundantes.
En la mayoría de los lenguajes, una variable tiene un tipo y nunca cambia. TypeScript es un poco diferente. Una variable tiene un tipo en un lugar de tu código. El proceso ...
Get TypeScript Eficaz, 2ª Edición now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
