3 ms·

Mypy in daemon mode has been good enough for me. But yeah, a reimplementation in a fast language would be great.