みんなのPython勉強会#62の資料です。

1. Python3.9におけるtype hints
みんなのPython勉強会#62
2020/10/14@オンライン
あっきー

2. 自己紹介
2
● 京都のIT会社で働いてます
● 業務では主に、AWS、Openblocks、SORACOM
などを使ってサービスを提供してます
● PythonはAWS Lambdaでバリバリ書いてます
最近は少しフロントエンドの開発にも慣
れてきました

3. 来たる10月5日
Python 3.9リリース🎉🎉🎉

4. ところで、みなさん
45
この数字、何の数字かわかりますか？

5. 正解はtypingのページ内を「3.9」で
検索した結果の数字です

7. 3.9におけるtype hintsの一番の目玉である
「Type Hinting Generics In Standard Collections」
について話します

8. そもそも何が問題だったの？
Pythonには組み込み型(listなど)と型として表現されるtyping(Listなど)の2種類が
存在しており、一部の役割が重なっており混乱を招いた
下記のコードの場合は、どちらも同じ意味になる

9. で、どう変わったの？
組み込み型にtypingが持っていた機能を持たせることで、今後は組み込み型に統一
する方向に決まった
具体的には組み込み型(listなど)にジェネリクス型として利用できるようになった
(詳細は後述)

10. そもそもlistとListって何が違うの？
listは組み込み型なのでインスタンスを作成することができる
Listは型クラスなのでインスタンスを作成することはできない

11. そもそもlistとListって何が違うの？
listはGenerics型として利用できなかった(Python 3.8以前)
ListはGenerics型として利用できる

12. そもそもGeniricsってなに？
Genericsとはより汎用的な型を定義するための仕組み
事前に型を定義するのではなく、実行時に型が決まる仕組み
NGコード
こんなコードは嫌ですよね、、、

13. そもそもGeniricsってなに？
Genericsとはより汎用的な型を定義するための仕組み
事前に型を定義するのではなく、実行時に型が決まる仕組み
OK?コード
こっちの方が断然いい

14. Generics型使ってみる

15. 内容は分かったけど
Generics使う機会あるん？
たぶんほとんどありません
Union、Optionalで事足りることがほとんどですし、
下手にGenerics使うと型の制約が緩くなるので逆効果に、、、
よほどの汎用的な仕組みでない限り、(今回のアップデートのlistみたいな)
使う機会ないかも

16. ところで、3.9のlist使ってみた感じ
どうなん？
mypyはまだ対応してないので大量のエラーがでます
Implement PEP 585 (Generic builtins and __future__.annotations) #7907
Pyrightは対応しているので個人的にはそちらの利用を推奨
これまでlistでもListでも同じ意味で利用可能だったので混乱を招いていたので、統一す
るのは分かりやすいと思う
(が、listに統一させたのはちょっと賛成できないかも、、、 )