型アノテーションとの格闘 700日

近年、型ヒントが導入されたのを契機に Python における静的型付けが注目を集めています。Sphinxプロジェクトでは2016年10月に型アノテーションを付け始めました。 本トークでは、静的型付けを利用しはじめてからの約2年間で得られたことや苦労したことなどの経験を共有します。

近年、型ヒントが導入されたのを契機に Python における静的型付けが注目を集めています。Sphinxプロジェクトでは2016年10月に型アノテーションを付け始めました。 本トークでは、静的型付けを利用しはじめてからの約2年間で得られたことや苦労したことなどの経験を共有します。

• Python における静的型付け
• 型チェックツール mypy
• 型アノテーションをつけるまで
• 型アノテーションの運用
• メリット
• デメリット
• まとめ

SphinxはPython製のドキュメンテーションツールのひとつです。一定規模のコードベースで静的型付けを運用している利用事例として一定の知見があると考えます。 発表者は、Sphinxのコミッタとして、型アノテーションを導入からその後のメンテナンスまで、一連の経験があります。