EuroPython 2018参加レポート（1）～基調講演、Python 3.7の新機能、大規模コードベースにおける型アノテーション

大規模なコードベースにおける型アノテーションの連携

monkeytype と PyAnnotateの比較

• タイトル：Type annotations with larger codebases
• 発表者：Stephan Jaensch
• セッション動画

　本記事の最後に紹介するのは、yelpのバックエンドエンジニアによる型アノテーションに関する発表です。

　型アノテーションおよび型ヒントに関する発表は、PyCon JPでも毎年発表が行われています。

• 型ヒントについて考えよう! - PyCon JP 2016
• ベンリに使おう変数アノテーション - typing.pyとの楽しいお付き合い - PyCon JP 2017

　筆者もこれらの発表を聞いていたのですが、どちらも型アノテーション・型ヒントに関連するPEP（Python Enhancement Proposal）を紹介し、仕様や型ヒントの書き方についてキャッチアップする上で非常によくまとまったトークでした。しかしその後、DropboxのPyAnnotateやInstagramのMonkeyTypeといった型アノテーションを自動生成するためのツールが登場したりと気になる動きもありました。そこで今回は型アノテーションに関連するツールチェインにフォーカスして紹介します。

型チェッカー：mypy vs Pyre

　まずは発表の中で紹介のあった型アノテーションに関するツールチェインとして、型チェッカーと型アノテーション自動生成ツールの紹介・比較がありました。まずは型チェッカーから確認していきましょう。型チェッカーとして有名なツールは次の2つです。

• mypy
• Pyre

　mypyは最も広く利用されているツールで現状はデファクトスタンダードとなっていますが、Pyreは比較的高速に動作する型チェッカーで、大規模なコードベースを抱えているFacebook社やInstagram社によって開発されています。一方でmypyはPython 2など型アノテーションの構文を持たないバージョンに関しても、コメントベースの型アノテーションが記述できるようになっていますが、PyreはPython 3にのみ対応しています。

　また型チェッカーを利用する上でのTipsとして次のようなテクニックが紹介されました。

• mypyのcheck_untyped_defsオプション等による型ヒントの強制
• pre-commit によるコミット前の型チェック自動実行

型アノテーションの自動生成ツール：MonkeyType vs PyAnnotate

　型ヒントの付与されていなかった既存のコードベースに地道に型ヒントを記述していくのは少し骨の折れる作業です。そんな中2017年末にInstagramとDropboxが立て続けに型アノテーションを自動生成するためのツールを公開していました。

• MonkeyType
• PyAnnotate

　どちらも実行時のランタイム情報をもとに、型ヒントを自動で追加したり、スタブファイルを生成することができるツールです。利用者からみた大きな違いを挙げるとすると、PyAnnotateはPython 2のコードベースにも対応しています。公開から半年ほど経ったのもありyelpでの利用実績などが聞ければと思っていたのですが、紹介程度におさまっていました。このトピックに関してより詳しく知りたい方は森本哲也さんによる次の資料がおすすめです。ぜひチェックしてみてください。

• Python の型アノテーションの自動生成 - Slideship

　文字数の都合上、解説はツールチェインに絞りましたがmypy_extensions.TypedDictによる辞書型オブジェクトの型ヒントの記述方法、Descriptorの型ヒントの記述方法、再帰する型にmypyが対応していないこと（詳細は「Support recursive types #731 - python/mypy」を参照）の紹介等がありました。気になるトピックがあった方はぜひ動画をチェックしてみてください。

まとめと次回予告

　いかがでしたでしょうか？ EuroPythonは毎年開催されています。興味を持たれた方は、次回の参加を検討されてみてはいかがでしょうか。

　第1回はEuroPython 2018の概要と最初の基調講演であるDavid Beazley氏による「Die Threads」をはじめに、Python 3.7の新機能と型アノテーションといったPythonの新機能に関する発表についてお届けしました。

　次回、第2回は筆者らが気になった・面白かったセッションについてお届けしていきたいと思います。