Не могу поверить, что так долго ждал, чтобы перейти с mypy на ty (от создателя uv и ruff). Думаю, меня оттолкнуло то, что его рекламировали как "предрелизный". Чепуха, он работает отлично! И он буквально в сотни раз быстрее, чем mypy. Это качественное отличие.