Python Monthly Topics Python 3.11の新機能:型チェッカーでロジックの間違いを検出できるtyping.assert_never関数とtyping.Never型 筒井@ryu22eです。2023年5月の「Python Monthly Topics」のテーマは、Python 3.11からtypingモジュールに追加された「assert_never関数、Never型」です。 みなさんは「この行には仕様上絶対に到達しないはず」というコードを書いたことはありますか? そして、バグが原因で到達しないはずの行に到達してしまった経験はありませんか? assert_never関数、Never型にはこのようなミスを型チェッカー(Mypy、Pyrightなど)で検出してくれる便利な機能があります。 本記事では、サンプルコードを交えて実際にassert_never関数、Never型が
![Python 3.11の新機能:型チェッカーでロジックの間違いを検出できるtyping.assert_never関数とtyping.Never型 | gihyo.jp](https://cdn-ak-scissors.b.st-hatena.com/image/square/e6ef3ceec6cd7ccab55d11c520bc83c5f77ff4aa/height=288;version=1;width=512/https%3A%2F%2Fgihyo.jp%2Fassets%2Fimages%2FICON%2F2022%2F1894_python-monthly.png)