Fundamentos de las anotaciones de tipo

En esta lección verás lo básico de las anotaciones de tipo de Python, para conocer una forma de escribir código cuya intención queda más clara. Está pensada para quien busca «anotaciones de tipo en Python».

Python es un lenguaje de tipado dinámico, pero escribir una «anotación de tipo», como en def add(a: int, b: int) -> int:, te permite dejar explícito qué tipos acepta una función y cuál devuelve. No afecta a la ejecución, pero hace el código más legible y ayuda al autocompletado y a la detección de errores de tu editor.

El código de ejemplo añade una anotación int a los parámetros y al valor devuelto de la función add, y una anotación str a la función greet. Como las anotaciones se ignoran en tiempo de ejecución, pasar un tipo equivocado no provoca por sí mismo un error, pero tu editor te avisará.

Un error habitual al empezar es creer que las anotaciones son algo más que «una marca sin obligación». A diferencia de los sistemas de tipos de otros lenguajes, Python no lanzará un error si pasas un valor que incumple la anotación. Si quieres una comprobación más estricta, necesitas una herramienta específica como mypy.

En un equipo grande, las anotaciones facilitan mucho transmitir la intención de una función y ayudan a prevenir fallos por un tipo inesperado antes de que ocurran. Usarlas con generosidad se ha convertido en una tendencia reciente en los proyectos Python reales.