Can we please make a competitor to the language server protocol that isn't designed solely for OO languages + vscode
Conversation
Replying to
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).
Hum, maybe I'm thinking of some of the comments they've posted on lobsters (which I find interesting to read and learn from). For example: lobste.rs/s/1o4x0n/subli
4
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… 🤔
2
3
Show replies