Awesome GitHub RepositoriesStatic Data Structure Validation

Pytype es una herramienta de análisis de código estático y motor de inferencia de tipos para Python. Funciona como un analizador de tipos estático que detecta desajustes de tipos y verifica anotaciones de tipos sin requerir pistas manuales completas, sirviendo también como un generador de stubs de tipos para producir archivos de definición independientes. El proyecto se distingue por determinar automáticamente los tipos de variables y funciones mediante un análisis de patrones de código y asignaciones. Este motor de inferencia permite la verificación estructural del código y la generación de stubs de tipos que describen las interfaces de módulos y funciones. El sistema cubre operaciones amplias de análisis estático, incluyendo validación estructural de jerarquías de clases y llamadas a funciones, y seguimiento de símbolos para detectar errores de espacio de nombres y violaciones de acceso a atributos. También proporciona primitivas de verificación de tipos para aplicar anotaciones y un sistema de tipos capaz de modelar estructuras de datos complejas utilizando uniones y opcionales.