lt20221030.pdf

とにほめLT会
2022/10/30

Transcript

1. Python 3.11 特徴 2022/10/30 @shimakaze_soft
2. Who are you? おまえだれよ 名前:しまかぜsoft (shimakaze_soft) - Twitter(@shimakaze_soft) - GitHub(shimakaze-git) Python, Golang, PHP, Node.js
3. Who are you? おまえだれよ Pythonが好きなPythonist - 都内のスタートアップでWEBエンジニア - AI系には詳しくない - Pythonコミニティに出没していた 趣味 - 犬と遊ぶ - サッカー - 読書
4. Q. 何しに来たか？
5. A. 久しぶりにLTをしに来た
6. みなさんPython使ってますか?
7. Faster Cpython - 3.10より全体的に1.25倍 - 毎年50%ずつ増やして4年で5倍の高速化を予定 - フォーラムでCpython遅いという投稿から始まった - https://mail.python.org/archives/list/python-dev@pyt hon.org/message/RDXLCH22T2EZDRCBM6ZYYIUTB WQVVVWH - Mark Shannon氏が投稿
8. Faster Cpython - 高速化の計画をリンク付きで投稿 - フォーラムの内容を雑な要約を3つ - 第一段階のコードは完成 - 資金出資を求む - VMの実装について豊富な経験を持っていて、この分野 の博士号を持っている
9. Faster Cpython - Microsoft社が出資 - Pythonの開発者であるグイド・ヴァンロッサムも開発に参加
10. Enhanced error locations in tracebacks トレースバックが改善され、どこでエラーが発生したのかが具体 的な箇所で表示される
11. Enhanced error locations in tracebacks 以下のようなコードがあるとする def distance(p1, p2): dx = abs(p1["x"] - p2["x"]) dy = abs(p1["y"] - p2["y"]) return {"x": dx, "y": dy} point_1 = {"x": 50, "y": 60} point_2 = {"x": 10, "z": 20} d = distance(point_1, point_2)
12. Enhanced error locations in tracebacks Python 3.10での実行結果 Traceback (most recent call last): File "/Users/pyq/scripts/distance.py", line 10, in <module> d = distance(point_1, point_2) File "/Users/pyq/scripts/distance.py", line 3, in distance dy = abs(p1["y"] - p2["y"]) KeyError: 'y'
13. Enhanced error locations in tracebacks Python 3.11での実行結果 File "/Users/pyq/scripts/distance.py", line 10, in <module> d = distance(point_1, point_2) ^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/Users/pyq/scripts/distance.py", line 3, in distance dy = abs(p1["y"] - p2["y"]) ~~^^^^^ KeyError: 'y'
14. Enhanced error locations in tracebacks どの位置でエラーが発生したのかも表示してくれる File "/Users/pyq/scripts/distance.py", line 10, in <module> d = distance(point_1, point_2) ^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/Users/pyq/scripts/distance.py", line 3, in distance dy = abs(p1["y"] - p2["y"]) ~~^^^^^ KeyError: 'y'
15. Pythonの型定義 Pythonは型チェックに厳しくない - 型が間違っていても動作はする - mypyというサードパーティのツールを使用するのが一般的 - 最近はPylanceを使用する # ファイルだけでなくディレクトリの指定もできる $ mypy sample.py sample.py:7: error: Argument 1 to "sum" has incompatible type "Union[int, List[int]]"; expected "Iterable[int]" sample.py:9: error: Unsupported operand types for + ("int" and "List[int]") sample.py:9: note: Right operand is of type "Union[int, List[int]]"
16. PEP:655 TypedDictの型チェックを厳しくできる - TypedDictという辞書型の型の定義を厳しくする
17. PEP:655 from typing import TypedDict class Movie(TypedDict): title: str year: int TypedDictを使用して、titleとyearというキーを定義
18. PEP:655 # No Error bttf: Movie = {"title": "バック・トゥ・ザ・フューチャー", "year": 1985} # Error bttf2: Movie = {"title": "バック・トゥ・ザ・フューチャー PART2"} 下記がエラーになる
19. PEP:655 yearを必須では無いようにしたい - NotRequiredを加える from typing import TypedDict, NotRequired class Movie(TypedDict): title: str year: NotRequired[int] 下記がエラーではなくなる # Error bttf2: Movie = {"title": "バック・トゥ・ザ・フューチャー PART2"}
20. PEP:673 型定義にSelfが定義された メソッドが自身のインスタンスを返す場合、よりシンプルに型ヒン トを記述する
21. PEP:673 実行はできるが型チェックではエラーになる class Shape: def set_scale(self, scale: float) -> Shape: self.scale = scale return self class Circle(Shape): def set_radius(self, radius: float) -> Circle: self.radius = radius return self Circle().set_scale(0.5).set_radius(2.7)
22. PEP:673 Selfを使用して以下の書き方ができる from typing import Self class Shape: def set_scale(self, scale: float) -> Self: self.scale = scale return self class Circle(Shape): def set_radius(self, radius: float) -> Self: self.radius = radius return self
23. Python 3.11の全特徴 https://www.python.jp/news/wnpython311