2025年のPython界隈では、型チェックツールがかつてないほど多様化し、いまは「単一の標準が存在しない時代」に突入しているといえます。型チェックツールに「なにを求めるのか」によって、選ぶべきツールが変わってくるのです。その上、MyPyやPyrightと ...

Pythonは動的型付け言語であり実行時に変数の型が決定されますが、コードの可読性／保守性が低下する原因にもなります。 Python3.5以降では「型ヒント」の機能を追加することで変数や関数の引数、戻り値の型を明示的に示すことが可能になりました。