Can we please make a competitor to the language server protocol that isn't designed solely for OO languages + vscode
Conversation
I think (matklad) has thoughts on the LSP! I swear they had a blog post or something on some of the criticisms but I can't find it right now… (apologies for the ping).
2
5
Yeah, matklad has a relevant blog post, it's just not written down yet. Highly recommend checking out Dart protocol htmlpreview.github.io/?https://githu and rider protocol (no docs on this one) codemag.com/Article/181109,
1
3
Interested to know if there's anything specific to theorem provers here. I think Lean 4 has switched to the LSP though. I also remember seeing folks making the Agda VS Code plugin getting a bit stressed out about the semantic highlighting API… 🤔
The best part is that LSP supports partial results, which would be ideal for us to incrementally report semantic tokens etc... but not even VS Code implements them
2
6
Show replies