5 ms·

Elsa: Emacs Lisp Static Analyzer

173 points by pcr910303 7y ago

dreamcompiler 7y ago
I need this for Common Lisp.
- pcr910303 7y ago
  > I need this for Common Lisp. Maybe sblint[0] might help? It's a pity that the CL userbase is so small and that most of the userbase doesn't think that the small userbase is a problem. :-( [0] https://github.com/fukamachi/sblint https://github.com/fukamachi/sblint
- phoe-krk 7y ago
  The SBCL compiler already emits a lot of style-warnings and notes when it compiles code - these warnings serve as a good enough linter for me.
  - zulu-inuoe 7y ago
    something something "Can we get a static analysis tool?" "No we already have a static analysis tool at home" Static Analysis Tool At Home: sbcl --load
  - TeMPOraL 7y ago
    Not nearly enough, thought with safety declarations cranked up to 11 (to 3, really) and enough type declarations sprinkled around the code, it becomes serviceable as a tool.
thenonameguy 7y ago
Clojure equivalent: https://github.com/borkdude/clj-kondo https://github.com/borkdude/clj-kondo
- alexeiz 7y ago
  And spark joy it does!
  - hestefisk 7y ago
    Only Sun can sparc Joy.
- nonbirithm 7y ago
  Really interesting. Some of the project inspirations listed are tools to rewrite Clojure source code. Recently I wanted something equivalent for Lua so I started writing one[0]. Refactoring in dynamic languages is harder that in needs to be a lot of times, but static analysis combined with whitespace-preserving ASTs would really help. [0] https://github.com/Ruin0x11/yalf https://github.com/Ruin0x11/yalf
rcdwealth 7y ago
This is too complex. There is nice function elint-current-buffer that helps me with basic corrections.
- showdeadplease 7y ago
  Emacs is too complex. There is nice editor `ed` that helps me with basic corrections.
  - hestefisk 7y ago
    Line by line.
- jhayward 7y ago
  What about it do you find complex?
moomin 7y ago
Perfect product name.
- edeion 7y ago
  I can't find a reference to ELIZA even though I'm sure they (and maybe you) had this in mind. https://en.m.wikipedia.org/wiki/ELIZA https://en.m.wikipedia.org/wiki/ELIZA
  - deleted 7y ago
    [deleted]
  - tobr 7y ago
    > (Your favourite princess now in Emacs!) Pretty sure they just had Elsa in mind.
- k_sze 7y ago
  Now we just need to wait for it to make your computer freeze over. Ba dum tss!
dtaverascmu 7y ago
wow!!
yorozu 7y ago
Why can't it be run directly in Emacs (instead of via cask)?

173 points by pcr910303 7y ago

dreamcompiler 7y ago

I need this for Common Lisp.

pcr910303 7y ago
> I need this for Common Lisp. Maybe sblint[0] might help? It's a pity that the CL userbase is so small and that most of the userbase doesn't think that the small userbase is a problem. :-( [0] https://github.com/fukamachi/sblint https://github.com/fukamachi/sblint
phoe-krk 7y ago
The SBCL compiler already emits a lot of style-warnings and notes when it compiles code - these warnings serve as a good enough linter for me.
- zulu-inuoe 7y ago
  something something "Can we get a static analysis tool?" "No we already have a static analysis tool at home" Static Analysis Tool At Home: sbcl --load
- TeMPOraL 7y ago
  Not nearly enough, thought with safety declarations cranked up to 11 (to 3, really) and enough type declarations sprinkled around the code, it becomes serviceable as a tool.

thenonameguy 7y ago

Clojure equivalent: https://github.com/borkdude/clj-kondo https://github.com/borkdude/clj-kondo

alexeiz 7y ago
And spark joy it does!
- hestefisk 7y ago
  Only Sun can sparc Joy.
nonbirithm 7y ago
Really interesting. Some of the project inspirations listed are tools to rewrite Clojure source code. Recently I wanted something equivalent for Lua so I started writing one[0]. Refactoring in dynamic languages is harder that in needs to be a lot of times, but static analysis combined with whitespace-preserving ASTs would really help. [0] https://github.com/Ruin0x11/yalf https://github.com/Ruin0x11/yalf

rcdwealth 7y ago

This is too complex. There is nice function elint-current-buffer that helps me with basic corrections.

showdeadplease 7y ago
Emacs is too complex. There is nice editor `ed` that helps me with basic corrections.
- hestefisk 7y ago
  Line by line.
jhayward 7y ago
What about it do you find complex?

moomin 7y ago

Perfect product name.

edeion 7y ago
I can't find a reference to ELIZA even though I'm sure they (and maybe you) had this in mind. https://en.m.wikipedia.org/wiki/ELIZA https://en.m.wikipedia.org/wiki/ELIZA
- deleted 7y ago
  [deleted]
- tobr 7y ago
  > (Your favourite princess now in Emacs!) Pretty sure they just had Elsa in mind.
k_sze 7y ago
Now we just need to wait for it to make your computer freeze over. Ba dum tss!

dtaverascmu 7y ago

wow!!

yorozu 7y ago

Why can't it be run directly in Emacs (instead of via cask)?