Mypy mantiene codigo limpio en python, Pytype, Pyright y Pyre pueden ayudarte a mantener el código de Python con sugerencias de tipo libre de errores. Veamos lo que ofrece cada una de estas útiles herramientas
Al principio, Python no tenía decoraciones tipográficas. Eso encaja con el objetivo general de hacer que el lenguaje sea rápido y fácil de trabajar, con tipos de objetos flexibles que se adaptan a los giros y vueltas de la escritura de código y ayudan a los desarrolladores a mantener su código conciso.
Sin embargo, en los últimos años, Python ha agregado soporte para anotaciones de tipos, inspirando toda una cultura de software dedicada a la verificación de tipos durante el desarrollo. Python no comprueba los tipos en tiempo de ejecución, al menos todavía no. Pero al aprovechar un buen verificador de tipos, montando una aplicación en tu IDE de elección, puedes usar las anotaciones de tipos de Python para descartar muchos errores comunes antes de que lleguen a producción.
Por esa razón y muchas otras más no menos importantes, es que te recomendamos este curso de python profesional, el cual lo imparten de manera presencial o en linea, con instructores expertos en este lenguaje de programación.
Podría decirse que Mypy fue el primer sistema de verificación de tipos estáticos para Python, ya que el trabajo en él comenzó en 2012 y todavía está en desarrollo activo. Es esencialmente el prototipo de cómo funcionan las bibliotecas de verificación de tipos de terceros en Python, incluso si muchas otras han aparecido desde entonces y han ampliado sus características.
Mypy puede ejecutarse de forma independiente o desde la línea de comandos, o puede funcionar como parte de un editor o la integración de linter del IDE. Muchos editores e IDE integran Mypy codigo limpio en python; La extensión Python de Visual Studio Code puede trabajar con ella directamente. Cuando se ejecuta, Mypy genera informes sobre la coherencia de su código en función del tipo de información que proporciona.
Si el código no incluye anotaciones de tipo, Mypy no realizará la gran mayoría de sus verificaciones de código. Sin embargo, se puede utilizar Mypy para marcar el código de Python no anotado. Esto se puede hacer con diversos grados de rigor según las necesidades de cada uno.
Si estás comenzando desde cero con una base de código en Python y deseas una estrategia de linting preventivamente agresiva, puede usar la opción --strict para evitar cualquier código sin escribir. Por otro lado, si estás trabajando con una base de código heredada que no tiene muchas definiciones de tipo, puede usar opciones más relajadas, como evitar solo definiciones de funciones sin tipo con --disallow-untyped-defs mientras permite otro código sin tipo. Y siempre puede usar comentarios en línea como # type: ignore para evitar que se marquen líneas individuales.
Mypy puede utilizar archivos de código auxiliar PEP 484 cuando desee utilizar sugerencias de tipo para las interfaces públicas de un módulo. Además de esto, Mypy ofrece stubgen, una herramienta que genera automáticamente archivos stub a partir del código existente. Para el código sin tipo, los archivos stub usan tipos genéricos, que luego puede marcar según sea necesario. Todo esto es útil cuando desarrollas en Python.
Diseño Web Grupo Codesi