4 ms·
dmypy [0] (installed when you install mypy) will give you a x10 speedup when running mypy after small regular edits (e.g. during general development). But yeah
by imron 3y ago
dmypy [0] (installed when you install mypy) will give you a x10 speedup when running mypy after small regular edits (e.g. during general development).
But yeah, I'm also looking forward to the day when I only need a single speedy tool for python linting, type-checking and formatting.
0: https://mypy.readthedocs.io/en/stable/mypy_daemon.html https://mypy.readthedocs.io/en/stable/mypy_daemon.html