4 ms·
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.
by anilshanbhag 3y ago
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 3y agoI'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.