Ура-ура-ура! Работа от Astral над новым mypy на Rust кипит!
Уже есть плейграунд, где можно с ним поиграться

https://playknot.ruff.rs/

Пысы: ссылку стащил в @cpython_notes

На самом деле, это прям та штука, которую я больше всего жду в экосистеме Python сейчас (ну и нормальный web-фреймворк, ага)