@techee Also wanted to add some info about python's lsp
``` autocompletion linter/formatter type checker refactoring language pylsp V(jedi) V(ruff) V(mypy) V(rope,advanced) python jedi-language-server V(jedi) - - V python ruff server - V(ruff) - - rust pyright V - V V python/typescript pylyzer V - V V rust
Type checkers are lsp server mypy (python community) - seems most feature rich pytype (google) - can work with code without annotations pyright (microsoft) V up to 3x to 5x faster than mypy pyre (facebook and instagram) V pylyzer (rust) V up to 100x faster than pytype and pyright ```
I like very much jedi-language-server with ruff server (NOT ruff-lsp - this will be deprecated and written in python) More info about ruff server: https://astral.sh/blog/ruff-v0.4.5