Repolode
Enviar
python

python/mypy

Analizador estático de tipos para Python que detecta errores en el código mediante anotaciones PEP 484, sin ejecutarlo.

Ver en GitHubSitio web
Estrellas
20,715
Forks
3,371
Issues abiertos
3,232
Último commit
hace 5 horas

¿Qué es?

Mypy es un analizador estático de tipos para Python. Añades anotaciones de tipos (PEP 484) a tu código y mypy señala los lugares donde se usan valores o funciones con tipos incompatibles, lo que permite detectar muchos errores antes de ejecutar el programa.

El tipado es gradual: puedes anotar una base de código de forma incremental y recurrir al tipado dinámico cuando los tipos estáticos no resultan prácticos. Las anotaciones de tipos no cambian la ejecución del programa, así que el intérprete habitual de Python puede seguir ejecutando código que mypy marque. El sistema de tipos admite inferencia, genéricos, tipos invocables, tipos de tupla y unión, y subtipado estructural.

Para proyectos grandes, mypy ofrece un modo daemon (dmypy) que permite volver a comprobar el código rápidamente de forma incremental. Mypy se integra con editores como VS Code, Vim, Emacs y Sublime Text, y puede ejecutarse en hooks de pre-commit. El propio mypy está compilado con mypyc.

Funciones clave

  • 01Comprueba las anotaciones de tipos (PEP 484) y señala usos incompatibles sin ejecutar el código.
  • 02Admite inferencia de tipos, genéricos, tipos invocables, tipos de tupla y unión, y subtipado estructural.
  • 03Permite el tipado gradual, de modo que el código sin tipos puede coexistir con el código anotado.
  • 04Ofrece un modo daemon (dmypy) para realizar comprobaciones incrementales rápidas en bases de código grandes.
  • 05Se integra con editores como VS Code, Vim, Emacs y Sublime Text.

Casos de uso

  • Detectar errores relacionados con tipos en proyectos de Python antes de que lleguen a producción.
  • Añadir anotaciones de tipos gradualmente a una base de código Python heredada.
  • Hacer cumplir las comprobaciones de tipos en CI o en hooks de pre-commit para proyectos de equipo.

Inicio rápido

  1. 1

    Instala mypy con pip

    python3 -m pip install -U mypy
  2. 2

    Comprueba los tipos de tu programa

    mypy PROGRAM

En colecciones

Linters y formateadores de código

Temas

#python#static-typing#type-checker#type-hints#linter#pep-484#typechecker#types#typing

Preguntas frecuentes

¿Qué es mypy?
Analizador estático de tipos para Python que detecta errores en el código mediante anotaciones PEP 484, sin ejecutarlo. Mypy es un analizador estático de tipos para Python. Añades anotaciones de tipos (PEP 484) a tu código y mypy señala los lugares donde se usan valores o funciones con tipos incompatibles, lo que permite detectar muchos errores antes de ejecutar el programa.
¿mypy es gratuito? ¿Qué licencia tiene?
mypy es open source bajo la licencia Other. Revisa los términos de la licencia antes de usarlo en productos comerciales.
¿mypy sigue mantenido?
Mantenimiento activo. El último commit de mypy fue el 6 nov 2026.
¿Para qué puedo usar mypy?
Detectar errores relacionados con tipos en proyectos de Python antes de que lleguen a producción. Añadir anotaciones de tipos gradualmente a una base de código Python heredada. Hacer cumplir las comprobaciones de tipos en CI o en hooks de pre-commit para proyectos de equipo.
¿Cómo se instala mypy?
Instala mypy con pip: python3 -m pip install -U mypy Comprueba los tipos de tu programa: mypy PROGRAM
¿Dónde consigo mypy?
El código fuente y las instrucciones de instalación están en GitHub: https://github.com/python/mypy

Resumen generado por IA a partir del README del proyecto. Las estadísticas de GitHub se actualizan a diario.

Proyectos relacionados