[anilshanbhag]

I really hope they develop a faster mypy. In my dev workflows, mypy takes most of the time. Linting is a small fraction of it.

[davidhalter]

I'm currently speeding up Mypy + Jedi in Rust. I'm pretty far already and it's definitely a lot faster. Tests are currently running 500 times faster than Mypy.