Python Typing Generator

Propósito & Intención del usuario: la herramienta analiza código fuente de Python y docstrings para generar hints de tipo precisos. Se dirige a desarrolladores, mantenedores de bibliotecas, ingenieros de datos y equipos que migran a typing y necesitan contratos de tipo consistentes en grandes bases de código. Úselo durante refactorización, diseño de API o onboarding para estandarizar typing.

Lógica central & Funcionalidades: funciones obligatorias incluyen inferencia basada en AST a partir de definiciones de funciones, parámetros, tipos de retorno y docstrings; soporte para construcciones de typing de PEP 484 (List, Dict, Optional, Union, Callable); formatos de exportación para anotaciones en línea o archivos .pyi independientes; soporte básico de TypeVar y generics; resolución entre módulos para reducir imports no resueltos. Funcionalidades opcionales: profundidad de inferencia configurable, integración con hints existentes y generación de un resumen de tipos. La lógica favorece anotaciones explícitas cuando están presentes; de lo contrario infiere tipos probables y recurre a Any o Optional en casos indeterminados. Los outputs pueden insertarse en el código o entregarse como stubs listos para parchear. Una pasada de validación verifica la consistencia de tipos y reporta conflictos.

Entradas & Salidas: Las entradas son un fragmento de código Python o una ruta de archivo, una selección de modo (inline vs Stub) y directrices opcionales sobre la profundidad de inferencia. Las salidas incluyen bloques de código anotados o archivos .pyi, formateados para cumplir con PEP 8 y estándares de typing. La herramienta también emite un resumen de tipos, una lista de tipos inferidos y advertencias por imports no resueltos o construcciones dinámicas.

Algoritmos & Cálculos: La herramienta analiza el AST, recoge definiciones de símbolos y deriva tipos de parámetros y retorno a partir de firmas y docstrings. Traduce tipos de docstrings a construcciones de typing, resuelve imports y propaga tipos inferidos a través de módulos. Las salidas finales pueden ser ediciones directas al código o declaraciones de stub separadas. Casos límite incluyen atributos dinámicos, reflexión o metaprogramación intensiva donde el typing es incierto; en tales casos la herramienta señala tipado conservador y recomienda anotaciones explícitas.

Industria/Región & Localización; Supuestos & Exclusiones: Sigue convenciones de typing de Python (PEP 484) y normas de codificación US/EU; no se requiere formato específico de locale. Se asume entrada válida de Python, no se ejecuta el código y se excluye refactoring en tiempo de ejecución o análisis estático completo más allá del typing.