Scheme langserverScheme 语言 LSP 实现

Scheme-langserver 是基于 Chez Scheme  并兼容 scheme r6rs 的 language server protocol 实现。它最大的特点是基于未完成的代码做编程辅助，包括自动完成、定义跳转等。这些功能是基于对r6rs标准的scheme进行静态分析得到的。它被发布在Akku和github。

一些辅助功能如自动完成、定义跳转、鼠标悬停显示文档等功能对于编程十分有帮助。但是，和其他的编程语言如java、python、javascript和c，lisp系的语言服务器协议实现（language server protocol implementation）几乎是一篇空白。emacs的Geiser、Dr. Racket的racket langserver还有swish-lint等等，他们的工作基本上是基于repl（Read-Eval-Print Loop）或者词法解析器的，而不是基于编程的一般过程。例如，如果程序员正参与一个未完成的项目，里面的代码还并不是都能跑起来，Geiser或者其他的竞品都只能提供对顶级变量、标识符的自动补全，这些标识符在Chez Scheme里面一般都通过environment-symbols过程列出来。也就是说，对于未完成的代码和局部标识符、局部变量（在其他语言中自动完成功能主要就是在补全它们），Geiser等等无济于事。类似的事情同样出现在定义跳转等其他功能上。

一个根本的原因是，对于scheme和lisp的其他方言，它们丰富的数据结构和灵活的控制机制让代码的静态分析变成了一个很大的挑战。事实上，scheme甚至没有通用的项目管理框架及对应的文件扩展名。以.ss和.scm为例，大多数程序员假设使用这两个文件扩展名的代码被用于一个正在运行中的环境，并且并不明示代码所需要的库信息。虽然Akku和Snow鼓励通过.sls和.sld提供文件信息并建构一套稳定的库管理框架，但是involve、load和很多其他过程让库链接动态化，这就更不可能在代码静态分析阶段得到什么信息了。