Python 3.13で進化したtype predicateについてと、タグ付きユニオンを使ったtype narrowingについて

Python札幌 シーズンX Vol.3 LT勉強会 発表資料

Transcript

1. Python 3.13で進化したtype predicateについてと、タ グ付きユニオンを使ったtype narrowingについて 鈴木直柔 2024-12-23 Python札幌
2. 自己紹介 鈴木直柔 (@nsuz) 株式会社 エクサウィザーズ　ソフトウェアエンジニア
3. Python 3.13で進化したtype predicate
4. a: list[str | None] = ["foo", None, "bar", None, "baz"] b = filter(lambda x: x is not None, a) c = map(lambda x: x.upper(), b)
6. type predicete function def is_not_none[T](x: T | None) -> TypeIs[T]: return x is not None typing.TypeIs Python 3.13で追加された。TypeGuard(3.10~)の進化版。
8. TypeGuardから進化したポイント TypeGuardの課題
9. TypeGuardから進化したポイント TypeIs 型述語関数の返り値がTrueのとき、元の変数の型との交差型として推論されるよ うになった 型述語関数の返り値がFalseのときもnarrowingできるようになった
10. タグ付きユニオンを使ったtype narrowing
11. class Ok[T](TypedDict): type: Literal["ok"] value: T class Error(TypedDict): type: Literal["error"] value: Exception type Result[T] = Ok[T] | Error def unwrap[T](result: Result[T]) -> T: if result["type"] == "ok": return result["value"] # result: Ok[T] else: raise result["value"] # result: Error
12. data: list[Result[int]] = [ {"type": "ok", "value": 42}, {"type": "error", "value": ValueError("Something went wrong")}, ] for d in data: try: print(unwrap(d)) except Exception as e: print(f"Error!!!! {e}")
13. 例えば・・・ APIレスポンスが、 成功時 { "result": 0, "data": ... } 失敗時 { "result": 1, "error": ... } みたいなとき
14. from typing import Literal, TypedDict type Data = list[str] class OkResponse(TypedDict): result: Literal[0] data: Data class ErrorResponse(TypedDict): result: Literal[1] error: str type Response = OkResponse | ErrorResponse def unwrap[T](res: Response) -> Data: if res["result"] == 0: return res["data"] else: raise Exception(res["error"]) data: list[Response] = [ {"result": 0, "data": ["foo", "bar", "baz"]}, {"result": 1, "error": "ERROR_CODE_123"}, ] for d in data: try: print(unwrap(d)) except Exception as e: print(f"Error!!!! {e}")
15. （ただ、Pythonの場合、内部でつくるデータについてはTypedDictでタグ付きユニオン をつくるよりも、dataclassなどでクラスにした方が、構造的パターンマッチングでス マートに扱えるかも・・？）
16. from dataclasses import dataclass @dataclass class Ok[T]: value: T @dataclass class Error: value: Exception type Result[T] = Ok[T] | Error def unwrap[T](result: Result[T]) -> T: match result: case Ok(v): return v case Error(e): raise e
17. data: list[Result[int]] = [ Ok(42), Error(ValueError("Something went wrong")), ] for d in data: try: print(unwrap(d)) except Exception as e: print(f"Error!!!! {e}")