Python Typing Generator

Scopo e intenzione dell'utente: lo strumento analizza il codice sorgente Python e le docstring per generare suggerimenti di tipo precisi. Si rivolge a sviluppatori, manutentori di librerie, data engineer e team che migrano al typing e hanno bisogno di contratti di tipo coerenti in grandi codebase. Utilizzarlo durante refactoring, progettazione API o onboarding per standardizzare il typing.

Logica principale e caratteristiche: Funzionalità richieste includono inferenza basata su AST da definizioni di funzioni, parametri, tipi di ritorno e docstring; supporto per costrutti di typing PEP 484 (List, Dict, Optional, Union, Callable); formati di esportazione per annotazioni in linea o file .pyi stand-alone; supporto di TypeVar e generics; risoluzione tra moduli per ridurre import non risolti. Funzionalità opzionali: profondità di inferenza configurabile, integrazione con hint esistenti e generazione di un sommario dei tipi. La logica privilegia annotazioni esplicite quando presenti; altrimenti determina tipi probabili e ricade su Any o Optional per casi incerti. Gli output possono essere inseriti nel codice o forniti come stub pronti per patch. Un passaggio di convalida controlla la coerenza dei tipi e segnala conflitti.

Input e Output: Ingressi sono frammenti di codice Python o percorsi di file, una modalità (inline vs stub) e indicazioni opzionali sulla profondità di inferenza. Gli output includono blocchi di codice annotati o file .pyi, formattati secondo PEP 8 e standard di typing. Lo strumento emette anche un breve sommario dei tipi, una lista di tipi dedotti e avvisi per import non risolti o costrutti dinamici.

Algoritmi e Calcoli: Lo strumento analizza l'AST, raccoglie definizioni di simboli e desume i tipi dei parametri e del ritorno da firme e docstring. I tipi dai docstring vengono convertiti in costrutti typing, gli import vengono risolti e i tipi dedotti si propagano tra i moduli. L'output finale è o una modifica diretta del codice o dichiarazioni di stub separate. Casi limite includono attributi dinamici, riflessione o metaprogrammazione intensa in cui il typing è incerto; in tali casi lo strumento segnala tipizzazione conservatrice e raccomanda annotazioni esplicite.

Industria/Regione & Localizzazione; Assunzioni & Esclusioni: Segue convenzioni di typing Python standard (PEP 484) e norme di codifica US/EU; nessuna formattazione locale richiesta. Si presume input Python valido, non viene eseguito il codice e si escludono refactoring runtime o analisi statica completa oltre al typing.