Python の型チェックが 400 万行に到達するまで

Dropbox は、Python のビッグ ユーザーです。Python は、バックエンド サービスとデスクトップ クライアント アプリの両方で最も広く使用されています（Dropbox は Go、TypeScript、Rust のヘビー ユーザーでもあります）。 Dropbox の Python コードは数百万行にも及ぶ規模となっていますが、その動的型付けによってコードが必要以上に理解しにくくなり、生産性に深刻な影響を与えるようになりました。 これを軽減するため、現在私たちは最も普及している Python スタンドアロン型チェッカー、mypy による静的型チェックにコードを徐々に移行しています（mypy はオープン ソース プロジェクトであり、そのコア チームは Dropbox 内に設立されました）。 Dropbox は、この規模での Python 静的型チェックを導入した最初の企業の一つで