There’s pylyzer for a Rust-based type checking LSP alternative to Pyright, but I couldn’t really get it to work with Neovim.

I believe it’s because when the metadata is missing, you need to download the entire package and try installing it to check compatibility.

Of course, this could still be mitigated by generating metadata / precomputing dependencies, or creating and hosting “mini” package proxies for dependency resolution only for the big packages, or many other engineering solutions, if the poetry devs were sufficiently motivated.

No one’s saying that we have to solve the Halting Problem (or similar) to get massive speedups in many cases.

Trailing commas:

1. generate cleaner diffs,
2. facilitate reordering,
3. facilitate adding a new item at the end without needing to edit the previous one,
4. are visually consistent,