Python Type Checker Comparaison: Inferenza di Container Vacu

Perchè i Containers Viotu rompenu i Checkers di Python - è ciò chì pudete fà

U sistema di scrittura graduali di Python hà maturatu significativamente da chì PEP 484 hà introduttu suggerimenti di tipu in 2015. Oghje, milioni di sviluppatori si basanu in i verificatori di tippu staticu per catturà bug prima di chjappà a produzzione. Ma ci hè un angulu sottile è frustrante di u sistema di tipu chì viaghja ancu ancu ingegneri sperimentati: chì tipu hà un containeru viotu? Quandu scrivite x = []senza annotazione, u vostru verificatore di tipu hà da indovinà - è e diverse checkers guessinu in modu diversu. Questa divergenza crea prublemi veri per e squadre chì mantenenu una grande basa di codice, induve u cambiamentu o cumminazione di i verificatori di tippu ponu affruntà centinaie d'errori inaspettati durante a notte.

Stu articulu spiega cumu i quattru principali verificatori di tipu Python - mypy, pyright, pytype è pyre - trattanu l'inferenza di u containeru viotu, perchè ùn sò micca d'accordu, è quali strategie pratiche pudete aduttà per scrive Python senza tipu, indipendentemente da a vostra scelta di l'uttellu.

U Prublemu Core: I Containers Viotu sò Inherently Ambiguous

Considerate sta linea innocua di Python: risultati = []. I risultati sò una lista[int]? Una lista[str]? Una lista[dict[str, Any]]? Senza cuntestu supplementu, ùn ci hè veramente manera di sapè. U runtime di Python ùn importa micca - i listi sò eterogenei per natura - ma i verificatori di tipu staticu anu bisognu di assignà un tipu concreto à ogni variabile per fà u so travagliu. Questu crea una tensione fundamentale trà a flessibilità dinamica di Python è e garanzie chì l'analisi statica prova di furnisce.

U prublema cumposta cù dizziunari è setti. Un {} viotu hè in realtà analizatu cum'è un dict, micca un set, chì aghjunghje l'ambiguità sintattica in cima à l'ambiguità di livellu di tipu. E cuntenituri nidificatu - pensate defaultdict (list) o results = {k: [] for k in keys} - spinghje i mutori di inferenza à i so limiti. Ogni verificatore di tipu hà sviluppatu a so propria euristica, è e differenze sò più significative di ciò chì a maiò parte di i sviluppatori capiscenu.

In i sistemi di produzzione chì trattanu carichi di travagliu reali - sia un CRM chì gestisce i registri di i clienti, un modulu di fatturazione chì genera elementi di linea, o un pipeline analiticu chì aggrega metriche - i cuntenituri vioti appariscenu constantemente cum'è mudelli di inizializazione. Avè i so tipi sbagliati ùn solu pruduce avvisi di linter; pò maschere bugs genuine chì sdrughjenu à u runtime.

Mypy: Inferenza differita cù qualsiasi implicita

Mypy, u verificatore di tipu Python più anticu è aduttatu, adopta un approcciu relativamente indulgente à i cuntenituri vacanti. Quandu si scontra x = []à u scopu di a funzione, prova di differisce a decisione di tipuè inferisce u tipu di l'elementu da l'usu sussegwenti. Se scrivi x = [] seguita da x.append(42), mypy deducerà list[int]. Questa strategia "join" funziona sorprendentemente bè per i casi diretti induve u cuntinuu hè populatu in u stessu scopu.

Tuttavia, u cumpurtamentu di mypy cambia drasticamente secondu u cuntestu è i paràmetri di rigore. À u scopu di u modulu (codice di primu livellu), o quandu u cuntinuu hè passatu à una altra funzione prima di esse populatu, mypy spessu torna à list[Any]. Sottu a bandiera --strict, questu provoca un errore, ma in modu predeterminatu passa in silenziu. Questu significa chì e squadre chì eseguenu mypy senza u modu strettu ponu accumulà decine di cuntenituri implicitamente tipati chì agiscenu cum'è portelli di fuga da u sistema di tipu, scunfittendu u so scopu.

Un cumportamentu particularmente sottile: e versioni mypy prima di 0.990 anu qualchì volta inferisce list[Unknown] internamente è poi allargate à list[Any] in assignazione. Post-0.990, l'inferenza hè stata ristretta, ma u cambiamentu hà rottu un numeru sorprendente di codebases di u mondu reale chì avianu cunfidendu u cumpurtamentu permissiu senza avè capitu. Questu hè un tema recurrente - i cambiamenti à l'inferenza di u containeru viotu sò trà l'aghjurnamenti più disruptive di u verificatore di tipu perchè i mudelli sò cusì omnipresenti.

Pyright: Inferenza stretta è u tipu "Scunnutu"

Pyright, sviluppatu da Microsoft è alimentando Pylance in VS Code, assume una postura filosofica fundamentalmente diversa. Piuttostu cà silenziu falà à Qualsiasi, pyright distingue entre Sconnu(un tipu chì ùn hè statu ancu determinatu) è Qualsiasi(un opt-out esplicitu di cuntrollu di tipu). Quandu scrivite x = [] in u modu strettu di pyright, inferisce list[Unknown]è riporta un diagnosticu, furzendu à furnisce una annotazione.

Pyright hè ancu più aggressivu in quantu à restringe in u scopu. Se scrivi:

• x = [] seguita da x.append("hello") - pyright infers list[str]
• x = [] seguita da x.append(1) poi x.append("hello") — pyright infers list[int | str
• x = [] passò direttamente à una funzione chì aspetta list[int] — pyright infers list[int] da u cuntestu di u situ di chjama
• x = [] riturnatu da una funzione senza una annotazione di tipu di ritornu - pyright signala un errore piuttostu cà indovinà

Questa inferenza bidirezionale (aduprendu l'usu sussegwente è i tipi previsti da i siti di chjama) rende pyright notevolmente più precisa di mypy per i cuntenituri vacanti. U scambiu hè verbosità: u modu strettu di pyright signala circa 30-40% più prublemi nantu à una basa di codice tipica senza annotazioni cumparatu cù u modu strettu di mypy, secondu l'analisi di parechji rapporti di migrazione open-source. Per i squadre chì custruiscenu sistemi di backend cumplessi - per esempiu, una piattaforma chì gestisce 207 moduli interconnessi chì copre CRM, paghe è analitiche - a rigorosità di pyright cattura sottili discordanza di l'interfaccia chì l'inferenza indulgente mancassi.

Pytype è Pyre: E Strade Meno Viaggiate

U pytype di Google piglia forse l'approcciu più pragmaticu. Invece di esigene annotazioni o riturnà à Qualsiasi, pytype usa analisi di u prugramma tutaleper seguità cumu si usa un cuntinuu attraversu e fruntiere di e funzioni. Se crea una lista viota in una funzione è trasmette à un altru chì aghjunghjenu interi, pytype pò spessu inferisce list[int]senza alcuna annotazioni in tuttu. Questa inferenza di funzioni trasversali hè un calculu caru - pytype hè significativamente più lento di mypy o pyright in basi di codice grande - ma pruduce menu falsi pusitivi nantu à u codice senza annotazione.

Pytype introduce ancu u cuncettu di "tipi parziali" per i cuntenituri vacanti. Un [] appena creatu riceve un tipu parziale chì hè progressivamente raffinatu cum'è u verificatore scontra più usu. Questu hè cuncettualmente eleganti, ma pò pruduce missaghji d'errore confusi quandu u tipu parziale ùn pò micca esse risoltu cumplettamente, cum'è quandu un containeru viotu scorri attraversu parechje funzioni senza mai esse populatu.

U pira di Meta, intantu, hè più vicinu à u cumpurtamentu di mypy, ma cù predefiniti più stretti. Pyre tratta x = [] cum'è lista [sconnustu] è richiede annotazione in a maiò parte di i cuntesti. Induve pyre si distingue hè in a so gestione di literali di dizziunariu vacanti utilizati cum'è kwargs - un mudellu cumuni in frameworks web. Pyre hà una logica di casu speciale per inferisce i tipi di dizziunariu da i cuntesti di l'argumentu di keyword, riducendu a carica di annotazione in basi di codice pesante di framework. Siccomu a maiò parte di l'applicazioni web muderni implicanu un usu pesante di u dizziunariu per a cunfigurazione è a gestione di e dumande, stu pragmatismu rende dividendi.

Impattu in u mondu reale: quandu a divergenza di inferenza morde

E differenze trà i verificatori di tippu pò parenu accademicu finu à chì l'avete sperienze in una basa di codice di produzzione. Cunsiderate un mudellu cumuni in l'applicazioni cummerciale: inizializza una struttura di dati chì hè populata in cundizzioni.