emacs-elsa/Elsa
View on GitHub ↗ ★ 705 Emacs Lisp
Emacs Lisp Static Analyzer and gradual type system.
6 mentions on Hacker News by 5 people: 2 stories, 4 comments · first 2019-07-15 · latest 2026-06-19
20082026
-
…'integer))` And then there are more ambitious projects like the static analyzer and language server https://github.com/emacs-elsa/Elsa I haven't tried Elsa yet since it seems to require setting up a package manager like Eask (I don't…
comment by internet_points · 2026-06-19 · in Emacs 31 is around the corner: The changes I'm daily driving -
I like the ubiquitous type inference. It reminds me a bit of ELSA for Emacs Lisp: https://github.com/emacs-elsa/Elsa . In particular, type aware macros have been on my wishlist forever: there's no good reason I shouldn't be able to write,…
comment by quotemstr · 2026-05-10 · in Show HN: Rust but Lisp -
…in its own right, at least at the language level. There's even a promising gradual typing system: https://github.com/emacs-elsa/Elsa
comment by quotemstr · 2025-11-20 · in The lost cause of the Lisp machines -
…may be "better compile time warning and errors relying on the propagation engine". [1] https://github.com/emacs-elsa/Elsa [2] https://akrl.sdf.org/gccemacs.html Edit: grammar.
comment by spellcard199 · 2020-07-18 · in Typed Lisp, a Primer (2019)