mypy

Mypy es un verificador de tipos estático para Python. Al añadir anotaciones de tipo (PEP 484) a un programa de Python, mypy informa del uso incorrecto de variables y funciones antes de que se ejecute el código, ya que analiza los programas de forma estática en lugar de en tiempo de ejecución. Características clave descritas en el README: - Tipado gradual: las anotaciones de tipo pueden introducirse lentamente, y el código siempre puede recurrir al tipado dinámico donde el tipado estático resulte inconveniente. Las anotaciones de tipo no cambian cómo se ejecuta el programa. - Características del sistema de tipos: inferencia de tipos, genéricos, tipos invocables, tipos tupla, tipos unión y subtipado estructural. - Instalación mediante pip (`python3 -m pip install -U mypy`) o directamente desde el repositorio. - Uso en línea de comandos: `mypy PROGRAM` para verificar tipos, y `dmypy run -- PROGRAM` para el modo demonio, que proporciona actualizaciones incrementales más rápidas para bases de código grandes. - Hay disponible un playground en línea para probar mypy. - Integraciones con editores y herramientas: VS Code, Vim (Syntastic, ALE), Emacs (Flycheck), Sublime Text, PyCharm, IDLE y pre-commit. - Se proporcionan documentación, una chuleta de anotaciones de tipo, una guía de inicio y una lista de códigos de error. - Mypyc compila módulos de Python a extensiones de C usando anotaciones de tipo; mypy en sí está compilado con mypyc, lo que según el README lo hace aproximadamente cuatro veces más rápido que la ejecución interpretada. Es posible una instalación interpretada con `--no-binary mypy`. El proyecto da la bienvenida a contribuciones en pruebas, desarrollo, documentación y otras áreas, con tareas para colaboradores de todos los niveles de experiencia.