32: Is Your Python Strongly Typed Yet?

Metaが作っている新しいPythonの型チェッカーPyreflyの話やまだあまりメジャーでないPythonの機能について雑談しました。後半はPostgreSQLのSnapshot Isolationへの違反とみなされる微妙な振る舞いについてしゃべっています。

• Pyrefly: A Static Type Checker for Python | Pyrefly
• GitHub - astral-sh/ruff: An extremely fast Python linter and code formatter, written in Rust.
• GitHub - astral-sh/ty: An extremely fast Python type checker and language server, written in Rust.
• 14 Advanced Python Features | Edward Li's Blog
• PEP 3124 – Overloading, Generic Functions, Interfaces, and Adaptation | peps.python.org
• PyPI statistics
• Understanding transaction visibility in PostgreSQL clusters with read replicas

Chapters:
(00:00) Opening - ゴールデンウィーク終了のお知らせ
(01:27) Pyrefly
(09:34) 14 Advanced Python Features
(16:39) Protocols
(23:39) Understanding transaction visibility in PostgreSQL clusters with read replicas