PEP 647 (User-Defined Type Guards) を読んだよメモ - Qiita

今朝、PEP 647 (User-Defined Type Guards) が Accepted になったというPRを見かけました。 そこで、今回は PEP 647 を読んでみようと思います。 概要 型チェッカーツールでは type narrowing と呼ばれる手法を使って、プログラム内で型情報をより正確に決定しています。 以下の例では if文と is None を利用して、自動的に if 文の中の型が絞り込まれます。 def func(val: Optional[str]): # "is None" type guard if val is not None: # Type of val is narrowed to str ... else: # Type of val is narrowed to None ... 他にも isinstance() など、いくつかの判定で type

[somemo]

“型チェッカーは、この関数が True を返した場合に、先頭の引数を TypeGuard に指定した型に合致するとみなします”