Python Typing Generator

But & intention utilisateur : L'outil analyse le code Python source et les docstrings pour générer des annotations de type précises. Il s'adresse aux développeurs, aux mainteneurs de bibliothèques, aux ingénieurs de données et aux équipes migrantes vers le typing qui ont besoin de contrats de type cohérents dans de grandes bases de code. À utiliser lors du refactoring, de la conception de l'API ou de l'onboarding pour standardiser le typing.

Logique de base & fonctionnalités : Les fonctionnalités obligatoires incluent l'inférence basée sur l'AST à partir des définitions de fonctions, des paramètres, des types de retour et des docstrings; support des constructions de typing PEP 484 (List, Dict, Optional, Union, Callable); formats d'export en annotations en ligne ou fichiers .pyi autonomes; support de TypeVar et des génériques; résolution inter-modules pour réduire les imports non résolus. Fonctionnalités optionnelles : profondeur d'inférence configurable, intégration avec les hints existants, et génération d'un résumé de types. La logique privilégie les annotations explicites lorsqu'elles existent, sinon elle infère des types probables et retombe sur Any ou Optional pour les cas indéterminés. Les sorties peuvent être injectées dans le code ou livrées comme des stubs prêts à patcher. Une passe de validation vérifie la cohérence des types et signe les conflits.

Entrées & Sorties : Les entrées sont un extrait de code Python ou un chemin de fichier, une sélection de mode (inline vs Stub), et des directives optionnelles sur la profondeur d'inférence. Sorties : blocs de code annotés ou fichiers .pyi, formatés selon PEP 8 et les standards de typing. L'outil émet également un résumé de type concis, une liste des types déduits et des avertissements pour les imports non résolus ou les constructions dynamiques.

Algorithmes & Calculs : L'outil analyse l'AST, collecte les définitions de symboles et déduit les types des paramètres et du retour à partir des signatures et docstrings. Il traduit les types issus des docstrings en constructions typing, résout les imports et propage les types déduits à travers les modules. Les sorties finales peuvent être des modifications directes du code source ou des déclarations de stub séparées. Les cas limites incluent attributs dynamiques, réflexion ou méta-programmation lourde où le typage est incertain ; dans ces cas, l'outil signale des typings conservateurs et recommande des annotations explicites.

Industrie/Région & Localisation ; Hypothèses & Exclusions : Suit les conventions Python standard (PEP 484) et les normes de codage US/EU ; aucune mise en forme locale requise. Supposons une entrée Python valide, sans exécuter le code et excluant le refactoring en temps réel ou l'analyse statique complète au-delà du typing.