我最近一直在研究语言服务器协议。如果我错了，请纠正我 - 据我了解，语言服务器似乎是在用户机器上运行的实际服务器，与代码编辑器（或 IDE）分开，它通过 websockets 与 IDE 通信。
如果这是真的，那么基于 Web 的代码编辑器（如 Gitpod 和 GitHub Codespaces）如何工作？他们是否为主要语言使用自托管语言服务器？还是他们只是取消 websocket 传输层并使用语言服务器的修改版本，如内存对象？
问问题
136 次