Capítulo 3. Inferencia de tipos
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 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 en la última década esto ha empezado a abrirse camino en los lenguajes industriales. C++ ha añadido auto, y Java ha añadido var.
TypeScript hace un uso extensivo de 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 de TypeScript de un usuario 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.
Este capítulo te muestra algunos de los problemas que pueden surgir con la inferencia de tipos y cómo solucionarlos. Después de leerlo, deberías tener una buena comprensión de cómo TypeScript infiere tipos, cuándo necesitas escribir declaraciones de tipos y cuándo es una buena ...
Get TypeScript eficaz 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.
