¿Qué son las anotaciones de tipo en Python?

Las anotaciones de tipo (introducidas en Python 3.5+) son indicaciones opcionales que sugieren tipos esperados para variables, parámetros y valores de retorno. Por ejemplo: def suma(a: int, b: int) -> int:. No afectan la ejecución ni fuerzan tipos (Python sigue siendo dinámicamente tipado), pero herramientas como mypy pueden verificarlas estáticamente. Mejoran la documentación, facilitan el autocompletado en IDEs y ayudan a detectar errores antes de la ejecución.