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