Back to browse
GitHub Repository

Scheme language server

276 starsScheme

Scheme-langserver – Digest incomplete code with static analysis

by ufo5260987423·Feb 24, 2026·52 points·2 comments

AI Analysis

●●●BangerBig BrainNiche Gem

Static analysis for Scheme beats REPL-based completion on broken code.

Strengths
  • Solves real Scheme/Lisp IDE gap: handles incomplete code and local bindings that Geiser and Racket langserver miss entirely.
  • Type inference via static analysis, not runtime evaluation—enables features on unexecutable snippets.
  • Published peer-reviewed paper (ELS'25), suggesting rigorous approach beyond hobby project.
Weaknesses
  • Early-stage: author acknowledges 'many many bugs'; stability and completeness unclear.
  • Niche audience: Scheme ecosystem is small; network effects and tooling adoption are slow.
Target Audience

Scheme/Lisp developers, particularly those using editors like VSCode or Emacs

Similar To

Geiser · racket-langserver · swish-lint

Post Description

Scheme-langserver digest incomplete Scheme code to serve real-world programming requirements, including goto-definition, auto-completion, type inference and such many LSP-defined language feature supports. And this project is based here(https://github.com/ufo5260987423/scheme-langserver).

I built it because I was tired of Scheme/Lisp's raggy development environment, especially of the lack of IDE-like highly customized programing experience. Though DrRacket and many REPL-based counterparts have don't much, following general cases aren't reach same-level as in other modern languages: (let* ([ready-for-reference 1]

[call-reference (+ ready-for-)]))

Apparently, the `ready-for-` behind `call-reference` should trigger an auto-complete option, in which has a candidate `ready-for-reference`. Besides, I also know both of them have the type of number, and their available scope is limited by `let*`'s outer brackets. I wish some IDE to provide such features and such small wishes gradually accumulated in past ten years, finally I wasn't satisfied with all the ready-made products.

If you want some further information, you may refer my github repository in which has a screen-record video showing how you code get help from this project and this project has detailed documentation so don't hesitate and use it.

Here're some other things sharing to Hacker News readers:

1. Why I don't use DrRacket: LSP follows KISS(Keep It Simple, Stupid) principle and I don't want to be involved with font things as I just read in its github issues.

2. What's the newest stage of scheme-langserve: It achieves kind of self-boost, in which stage I can continue develop it with its VScode plugin help. However, I directly used Chez Scheme's tokenizer and this leaded to several un-caught exceptions whom I promise to be fixed in the future, but I'm occupied with developing new feature. If you feel something wrong with scheme-langserver, you may reboot vscode, generally this always work.

3. Technology road map: I'm now developing a new macro expander so that the users can customize LSP behavior by coding their own macro and without altering this project. After this, I have a plan to improve efficiency and fix bugs. 4. Do I need any help: Yes. And I'd like to say, talking about scheme-langserver with me is also a kind of help.

5. Long-term View: I suspect 2 or 3 years later I will lose concentration on this project but according some of my friends, I may integrate this project with other fantastic work.

Similar Projects

Developer Tools●●Solid

Lumina – a statically typed web-native language for JavaScript and WASM

Built-in reactive runtime and dual JS/WASM targets challenge React and TypeScript dominance.

WizardryBold Bet
light_ideas
202mo ago

A New Programming Language

Endianness in the type system is clever, but another language in a saturated field.

Niche Gem
kvthweatt
403mo ago