Capítulo 3. Anotaciones de tipo
Este trabajo se ha traducido utilizando IA. Agradecemos tus opiniones y comentarios: translation-feedback@oreilly.com
Python es un lenguaje de tipado dinámico; los tipos no se conocen hasta el tiempo de ejecución. Esto es un obstáculo cuando se intenta escribir código robusto. Como los tipos están incrustados en el propio valor, a los desarrolladores les resulta muy difícil saber con qué tipo están trabajando. Seguro que ese nombre parece hoy un str, pero ¿qué pasa si alguien lo convierte en bytes? Las suposiciones sobre los tipos se construyen sobre un terreno inestable con los lenguajes tipados dinámicamente. Sin embargo, la esperanza no está perdida. En Python 3.5 se introdujo una nueva característica: las anotaciones de tipo.
Las anotaciones de tipo llevan tu capacidad de escribir código robusto a un nivel completamente nuevo. Guido van Rossum, creador de Python, lo dice mejor que nadie:
He aprendido la dolorosa lección de que para los programas pequeños la tipificación dinámica es genial. Para programas grandes tienes que tener un enfoque más disciplinado y ayuda que el lenguaje te dé realmente esa disciplina, en lugar de decirte "Bueno, puedes hacer lo que quieras".1
Las anotaciones de tipo son el enfoque más disciplinado, el cuidado adicional que necesitas para manejar bases de código más grandes. En este capítulo, aprenderás a utilizar las anotaciones de tipo, por qué son tan importantes y cómo utilizar una herramienta llamada comprobador ...