Python型ヒントしゃぶしゃぶ鍋コース。経緯から含めて型ヒントの真髄をお楽しみください! by nikkie

BuriKaigi 2025
レギュラートーク(30分)

Python型ヒントしゃぶしゃぶ鍋コース。経緯から含めて型ヒントの真髄をお楽しみください!

nikkie ftnext

Pythonは動的型付け言語ですが、型を書くこともできます(Python 3.5で追加された型ヒント)。
しかしながら他の言語と比べると、Pythonの型は独特だと思います。

一生懸命型を書いても見るのは型チェッカだけで、処理系は実行時に無視します。
またよく見かける書き方は、実は適切ではありません(発表者はリンタを公開してます)

この発表を通して、ふだんPythonを使っている方には「私もっとうまく型ヒントを書けるな〜」、Pythonを使っていない方には「型の考え方おもしろいな〜」という学びを持ち帰っていただけたら嬉しいです。

持ち帰れるもの

  • Pythonの型ヒントは、実は段階的に導入(3.5,3.6,3.9)
  • 関数の引数の型をlistとしたいあなたへ:イテラブルという概念の紹介
  • 型をdictにしたいあなたへ:TypedDictやdataclassの紹介