言語サーバープロトコル

2015年に、「言語処理サーバーとそのプロトコル」という記事を書いたけど、Microsoftはこの方向を追求しているね。

• https://langserver.org/ The Language Server protocol のページ

言語サーバープロトコルのドキュメントは、

• https://github.com/Microsoft/language-server-protocol/blob/master/protocol.md

これは、エディタ（＝クライアント）側から言語処理系の機能を利用する、という想定だ。

• Isabelle/jEditの野心的な試み「継続的チェッキング」に「ウォ」っとなった

↑のように、サーバーとクライアントが1文字単位で通信して同期するのとは違う。Isabelle風の継続的同期＆チェッキングだと、もっと細かく精密な通信が必要になる。