I can’t believe I waited so long to switch from mypy to ty (from the maker of uv and ruff). I think I was put off from it being advertised as being “pre-release.” Nonsense, it works great! And it’s literally hundreds of times faster than mypy. It’s a qualitative difference.