Názory k článku Typová inference v Pythonu prováděná v runtime

Zkoušel někdo, jak moc je to přesné u větších projektů? Dneska vyzkouším u nás pro projekt s "milionem" závislostí :)

Budeš to ověřovat hromadně pomocí mypy?

Jj, plán je to nechat "otypovat" (neco uz je) a potom pustit mypy jen tak a mypy se --strict.

Samotnyho me to zajima, protoze nektery zavisly knihovny (tedy vetsina :-) nema typovy informace, takze je nemame tranzitivne ani ve zdrojacich

Ok takže nějaké výsledky:

1. hodně to všechno zpomalí. Někdy je kód i desetkrát pomalejší, hlavně když se někde často volá funkce (to se totiž zaznamenává)
2. do DB se ukládají výsledky až při ukončení aplikace, ne při výjimce. Takže gunicorn-based REST API je potřeba trošku dokopat, aby skončila bez výjimky (Ctrl+C vyhodí výjimku)
3. ta DB je někdy hooodně velká :-)
4. typové výsledky vypadají kupodivu dost dobře, trefuje se to tak na 95% řekl bych (spíš i líp)
5. existuje balíček, který monkeytype zapne při unit testování, to je hodně dobrý

Diky za report a Pavlu Tisnovskemu za tip ... Tak ze bych to pustil na tu moji hruzu?