The MyPy plugin seems to run very slowly, perhaps blocking autocompletion and linting of other plugins.
Worst of all, unchecking the 'Live mode' option does not alleviate this problem.
Here is an overly compressed screencast (the editor UI looks laggy, which it isn't in real), demonstrating the problem.
Note that in the linter pane below, the code being linted is always several seconds out of date.
Even after the full expression has been written, the linter is still updating the code it is processing one character at a time, with many seconds in between.
We've updated some things with mypy, I think it should be faster now. But you are correct, it doesn't seem to be respecting the Live-Mode setting; I'm looking into it.
The MyPy plugin seems to run very slowly, perhaps blocking autocompletion and linting of other plugins.
Worst of all, unchecking the 'Live mode' option does not alleviate this problem.
Here is an overly compressed screencast (the editor UI looks laggy, which it isn't in real), demonstrating the problem. Note that in the linter pane below, the code being linted is always several seconds out of date. Even after the full expression has been written, the linter is still updating the code it is processing one character at a time, with many seconds in between.
Screencast from 2024-04-19 13-03-22.webm
Installation details:
OS: Ubuntu 23.10 Pulsar: 1.109.0 (installed via nix-env) Python (OS' installation): 3.11.6 Python packages: