タグ

mypyに関するbraitomのブックマーク (2)

  • Our journey to type checking 4 million lines of Python

    Dropbox is a big user of Python. It’s our most widely used language both for backend services and the desktop client app (we are also heavy users of Go, TypeScript, and Rust). At our scale—millions of lines of Python—the dynamic typing in Python made code needlessly hard to understand and started to seriously impact productivity. To mitigate this, we have been gradually migrating our code to stati

    Our journey to type checking 4 million lines of Python
    braitom
    braitom 2019/09/09
    DropboxでのPythonコードをmypyを使って型チェックできるようにしている話。どのように導入しperformanceを改善していったか、型チェックのカバレッジを増やすためにどのようなことをしたかなどが書かれている
  • Pythonと型チェッカー

    2. 自己紹介 ● 森 哲也 – twitter: @t2y ● ポータルサイトの会社 – オブジェクトストレージの開発・運用 ● 業務では Go 言語で開発 – 普段使いのツールやプロトタイピングに Python ● エキスパート Python プログラミング改訂2版 – Python 3.5 ( 翻訳は 3.6) を対象 3. 最近のニュース ● Pyre: Fast Type Checking for Python – 概要から引用 Facebook 社も Instagram 社も大規模に Python を使っています。私たちは Python の表現力、 柔軟性、開発における生産性をとても好んでいます。しかし、数百万行といった大規模コード ベースの保守を考えると、そういった良いところにも陰りがみえてきます。 ● 静的な保証がないと、既存のコードベースを安全に変更することが難しくなり

    Pythonと型チェッカー
    braitom
    braitom 2018/05/20
    Pythonのtypeチェック関連の話のまとめ。関連PEPの説明、mypy、typingモジュールの話など。
  • 1