6 ms·

TimL: Clojure-like Lisp dialect that runs on and compiles down to Vimscript

113 points by asimjalis 3y ago

twardowski 3y ago
[dead]
omoikane 3y ago
ELVM might be a related project, which takes C code and compiles to various languages, including VIM. https://github.com/shinh/elvm https://github.com/shinh/elvm
- abeyer 3y ago
  Just in case you though VimL was too easy and want to add manual memory management in on top of it? ;)
capableweb 3y ago
Something similar: Fennel (https://fennel-lang.org/ https://fennel-lang.org/) is a lisp that compiles into Lua, which neovim can use as plugins, so you can write neovim plugins in a lisp. Aniseed (https://github.com/Olical/aniseed https://github.com/Olical/aniseed) makes this really easy. Aniseed is also used by Conjure (Interactive development environment for neovim, used for evaluating Fennel code inside of neovim), which is also made by the same author. Really great plugin for doing Clojure development with neovim. https://github.com/Olical/conjure https://github.com/Olical/conjure
- giraffe_lady 3y ago
  I've said this before but I think fennel is one of the most impressive languages around. Lua has a good reputation but I've used it professionally and find it one of the more practically painful languages to work in. Apparently fennel's author agrees, because fennel is laser-focused on correcting exactly its worst problems. AND/BUT one of fennel's impressive things is that it sticks rigidly to lua runtime semantics. Which I found a little repulsive at first but has huge benefits in its context. You can drop fennel into any version of lua on any runtime (bc they vary a lot) and it works the same. You can hook the single-file fnl compiler into lua's module loader and mix fennel files into an existing lua program, freely sharing functions and metatables both ways. Very flexible and powerful because of that tradeoff. Anywhere I have to use lua now I am actually using fennel. The downside is this choice precludes it from having the clojure-like data structures and reference types. It could add a new standard library but doesn't, limiting itself to a handful of special forms (notably pattern match thank god) that mix nicely with the existing lua primitives. It looks like TimL has gone the other way with that decision, which I also appreciate. Makes it maybe a less flexible general-purpose lua replacement/extension, but probably makes it more powerfully suited for the specific purpose it'll be used for.
  - dlisboa 3y ago
    The same author also wrote Janet, which is also a nice language from what I’ve played around with. Especially the idea of forgoing Regex entirely and going with PEGs, as well as having “defs” inside functions bind local variables instead of “let” (though let is also idiomatic), very interesting. Small languages like that give a very nice feeling of learning them in a single day.
    - giraffe_lady 3y ago
      I looked into that language for exactly that reason and like it quite a lot. It's very good for scripting, though that is a crowded niche these days. It's also not much harder to integrate than lua, so I've used it a few times for an integrated scripting language when I didn't actually need a teeny tiny runtime. And yeah you end up really missing PEGs in other languages. There are libraries, but having it built in is another thing especially with how well they fit into s-exp syntax.
- nerdponx 3y ago
  I use Aniseed, but it's worth noting that it's something like a "framework" on top of Fennel and Neovim. So I also want to shout out Hotpot, which is more of a simple plugin that allows you to put plain Fennel files in your runtime path, without any additional "framework" to learn. That said, I think the framework that Aniseed introduces is really nice, and I think would be useful for writing general purpose programs outside of Neovim.
- packetlost 3y ago
  I'll second Conjure. I use it for (Gerbil) Scheme, and it makes it so much better. I really wish there was better support for non-Emacs editors in the Lisp ecosystem. Or really just a stronger Lisp ecosystem...
ykonstant 3y ago
Is there anything like this on the works for Vimscript 9? Tangentially related: asking around in fora and in person, I was surprised to see that many plugin writers have had very good experience with the new Vimscript, and even prefer it to the more general purpose Lua (I was expecting the opposite). I myself have not used any Vimscript, but I am tempted to take a look at the new language.
- deleted 3y ago
  [deleted]
ReleaseCandidat 3y ago
There are things I'll never understand. Why would anybody do this? Why Clojure and not Emacs Lisp?
- jacknews 3y ago
  "There are things I'll never understand." => true
  - ReleaseCandidat 3y ago
    Hmm, that's > "There are things I'll never understand." "There are things I'll never understand." for me. But > (cond ("There are things I'll never understand." 'true)) true works. Seriously I'm glad to not understand everything, that would be quite worrying and/or boring.
- capableweb 3y ago
  Clojure is a language created and "controlled" by a single author (pretty unified overall) as a general purpose language, with implementations for multiple languages. Emacs Lisp (elisp) is a language specifically created as a scripting language for an editor, maintained by an organization, with one compiler (AFAIK) and 99% of usage is within Emacs. It's not hard to imagine people preferring Clojure before elisp, especially outside of Emacs.
  - ReleaseCandidat 3y ago
    To be honest, I would prefer Clojure to Elisp too. But to be frank, it's hard for me to imagine people preferring Vim over anything that isn't ed ;). Although, at least using ed you don't need to type the colons :)
- rollcat 3y ago
  That would be awesome. Next step: run evil-mode on top of it. We've come full circle.
- emmanueloga_ 3y ago
twardowski 3y ago
[dead]
EuAndreh 3y ago
Any sufficiently complicated Vim configuration contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Emacs.
- maleldil 3y ago
  > slow There's quite a good chance that even the most complicated Neovim setup is faster than Emacs. Emacs lisp is notoriously slow, while Neovim uses LuaJIT, which is _very_ fast.
  - bitwize 3y ago
    Emacs Lisp had native-comp now.
  - nequo 3y ago
    How do Neovim and Emacs startup times compare when using Emacs 28’s native compilation of elisp? Obviously hard to compare because they don’t run the same packages but would still be interesting to see ballpark figures of setups with roughly equivalent functionality.
    - hetman 3y ago
      Are these startup times even significant enough to actually be noticeable anyway?
      - bjoli 3y ago
        If people are bothered by Emacs startup times they usually just use Emacs Daemon. I let systemd start it for me at boop, for example.
    - bjoli 3y ago
      Not favourably to Emacs.
  - chlorion 3y ago
    Emacs now has an optimizing native code emitting compiler for elisp. It's definitely not slow, but not as fast a luajit. Not sure why performance matters in this case anyways though.
ducktective 3y ago
How difficult is it to write an "Emacs Lisp" interpreter in a foreign framwork like neovim? Wouldn't this basically convert any IDE into Emacs if the user wants it? I mean, I know elisp is not the most efficient of Lisp compilers but doing so for a new IDE opens the door for all available codes and plugins people have written for emacs throughout the years.
- zelphirkalt 3y ago
  I think a huge compatibility layer would also needs to be part of that. Most IDEs probably use a completely different vocabulary and set of concepts than Emacs, starting with buffers and mode lines and minibuffers and modes.
- hvis 3y ago
  > Wouldn't this basically convert any IDE into Emacs if the user wants it? Emacs Lisp is only part of the equation. You need the all of the programmability that implements 90% of Emacs in Lisp (all of the standard library functions, the display engine, etc).
imran-iq 3y ago
This reminds me of a vim koan[0]: > Master Pope once dreamt he was an Emacs user. When he awoke, he exclaimed: > “I do not know if I am Tim Pope dreaming I am an Emacs user, or an Emacs user dreaming I am Tim Pope!” --- 0: https://blog.sanctum.geek.nz/vim-koans/ https://blog.sanctum.geek.nz/vim-koans/
edoloughlin 3y ago
Can anyone see how to start the repl?
- fatheart 3y ago
  From the readme: Start a repl with :TLrepl. Tab complete is your friend. The first time may take several seconds (if your computer is a piece of shit), but compilation is cached, so subsequent invocations will be super quick, even if Vim is restarted.
obiefernandez 3y ago
For maximum effect, read the following in Tim’s distinctive voice: “Is this a joke? If you mean the 6,000 lines of working code, then no, I poured hundreds upon hundreds of very serious hours into that. But if you're referring to the fact it's woefully underdocumented, adds considerable overhead to an already slow host platform, and ultimately unlikely to gain any traction, then yeah, probably.”
msla 3y ago
If we implement TECO in this, do we break the Matrix?

113 points by asimjalis 3y ago

[dead]

ELVM might be a related project, which takes C code and compiles to various languages, including VIM. https://github.com/shinh/elvm https://github.com/shinh/elvm

abeyer 3y ago
Just in case you though VimL was too easy and want to add manual memory management in on top of it? ;)

capableweb 3y ago

Something similar: Fennel (https://fennel-lang.org/ https://fennel-lang.org/) is a lisp that compiles into Lua, which neovim can use as plugins, so you can write neovim plugins in a lisp. Aniseed (https://github.com/Olical/aniseed https://github.com/Olical/aniseed) makes this really easy. Aniseed is also used by Conjure (Interactive development environment for neovim, used for evaluating Fennel code inside of neovim), which is also made by the same author. Really great plugin for doing Clojure development with neovim. https://github.com/Olical/conjure https://github.com/Olical/conjure

giraffe_lady 3y ago
I've said this before but I think fennel is one of the most impressive languages around. Lua has a good reputation but I've used it professionally and find it one of the more practically painful languages to work in. Apparently fennel's author agrees, because fennel is laser-focused on correcting exactly its worst problems. AND/BUT one of fennel's impressive things is that it sticks rigidly to lua runtime semantics. Which I found a little repulsive at first but has huge benefits in its context. You can drop fennel into any version of lua on any runtime (bc they vary a lot) and it works the same. You can hook the single-file fnl compiler into lua's module loader and mix fennel files into an existing lua program, freely sharing functions and metatables both ways. Very flexible and powerful because of that tradeoff. Anywhere I have to use lua now I am actually using fennel. The downside is this choice precludes it from having the clojure-like data structures and reference types. It could add a new standard library but doesn't, limiting itself to a handful of special forms (notably pattern match thank god) that mix nicely with the existing lua primitives. It looks like TimL has gone the other way with that decision, which I also appreciate. Makes it maybe a less flexible general-purpose lua replacement/extension, but probably makes it more powerfully suited for the specific purpose it'll be used for.
- dlisboa 3y ago
  The same author also wrote Janet, which is also a nice language from what I’ve played around with. Especially the idea of forgoing Regex entirely and going with PEGs, as well as having “defs” inside functions bind local variables instead of “let” (though let is also idiomatic), very interesting. Small languages like that give a very nice feeling of learning them in a single day.
  - giraffe_lady 3y ago
    I looked into that language for exactly that reason and like it quite a lot. It's very good for scripting, though that is a crowded niche these days. It's also not much harder to integrate than lua, so I've used it a few times for an integrated scripting language when I didn't actually need a teeny tiny runtime. And yeah you end up really missing PEGs in other languages. There are libraries, but having it built in is another thing especially with how well they fit into s-exp syntax.
nerdponx 3y ago
I use Aniseed, but it's worth noting that it's something like a "framework" on top of Fennel and Neovim. So I also want to shout out Hotpot, which is more of a simple plugin that allows you to put plain Fennel files in your runtime path, without any additional "framework" to learn. That said, I think the framework that Aniseed introduces is really nice, and I think would be useful for writing general purpose programs outside of Neovim.
packetlost 3y ago
I'll second Conjure. I use it for (Gerbil) Scheme, and it makes it so much better. I really wish there was better support for non-Emacs editors in the Lisp ecosystem. Or really just a stronger Lisp ecosystem...

ykonstant 3y ago

Is there anything like this on the works for Vimscript 9? Tangentially related: asking around in fora and in person, I was surprised to see that many plugin writers have had very good experience with the new Vimscript, and even prefer it to the more general purpose Lua (I was expecting the opposite). I myself have not used any Vimscript, but I am tempted to take a look at the new language.

deleted 3y ago
[deleted]

ReleaseCandidat 3y ago

There are things I'll never understand. Why would anybody do this? Why Clojure and not Emacs Lisp?

jacknews 3y ago
"There are things I'll never understand." => true
- ReleaseCandidat 3y ago
  Hmm, that's > "There are things I'll never understand." "There are things I'll never understand." for me. But > (cond ("There are things I'll never understand." 'true)) true works. Seriously I'm glad to not understand everything, that would be quite worrying and/or boring.
capableweb 3y ago
Clojure is a language created and "controlled" by a single author (pretty unified overall) as a general purpose language, with implementations for multiple languages. Emacs Lisp (elisp) is a language specifically created as a scripting language for an editor, maintained by an organization, with one compiler (AFAIK) and 99% of usage is within Emacs. It's not hard to imagine people preferring Clojure before elisp, especially outside of Emacs.
- ReleaseCandidat 3y ago
  To be honest, I would prefer Clojure to Elisp too. But to be frank, it's hard for me to imagine people preferring Vim over anything that isn't ed ;). Although, at least using ed you don't need to type the colons :)
rollcat 3y ago
That would be awesome. Next step: run evil-mode on top of it. We've come full circle.
emmanueloga_ 3y ago

twardowski 3y ago

[dead]

EuAndreh 3y ago

Any sufficiently complicated Vim configuration contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Emacs.

maleldil 3y ago
> slow There's quite a good chance that even the most complicated Neovim setup is faster than Emacs. Emacs lisp is notoriously slow, while Neovim uses LuaJIT, which is _very_ fast.
- bitwize 3y ago
  Emacs Lisp had native-comp now.
- nequo 3y ago
  How do Neovim and Emacs startup times compare when using Emacs 28’s native compilation of elisp? Obviously hard to compare because they don’t run the same packages but would still be interesting to see ballpark figures of setups with roughly equivalent functionality.
  - hetman 3y ago
    Are these startup times even significant enough to actually be noticeable anyway?
    - bjoli 3y ago
      If people are bothered by Emacs startup times they usually just use Emacs Daemon. I let systemd start it for me at boop, for example.
  - bjoli 3y ago
    Not favourably to Emacs.
- chlorion 3y ago
  Emacs now has an optimizing native code emitting compiler for elisp. It's definitely not slow, but not as fast a luajit. Not sure why performance matters in this case anyways though.

ducktective 3y ago

How difficult is it to write an "Emacs Lisp" interpreter in a foreign framwork like neovim? Wouldn't this basically convert any IDE into Emacs if the user wants it? I mean, I know elisp is not the most efficient of Lisp compilers but doing so for a new IDE opens the door for all available codes and plugins people have written for emacs throughout the years.

zelphirkalt 3y ago
I think a huge compatibility layer would also needs to be part of that. Most IDEs probably use a completely different vocabulary and set of concepts than Emacs, starting with buffers and mode lines and minibuffers and modes.
hvis 3y ago
> Wouldn't this basically convert any IDE into Emacs if the user wants it? Emacs Lisp is only part of the equation. You need the all of the programmability that implements 90% of Emacs in Lisp (all of the standard library functions, the display engine, etc).

imran-iq 3y ago

This reminds me of a vim koan[0]: > Master Pope once dreamt he was an Emacs user. When he awoke, he exclaimed: > “I do not know if I am Tim Pope dreaming I am an Emacs user, or an Emacs user dreaming I am Tim Pope!” --- 0: https://blog.sanctum.geek.nz/vim-koans/ https://blog.sanctum.geek.nz/vim-koans/

edoloughlin 3y ago

Can anyone see how to start the repl?

fatheart 3y ago
From the readme: Start a repl with :TLrepl. Tab complete is your friend. The first time may take several seconds (if your computer is a piece of shit), but compilation is cached, so subsequent invocations will be super quick, even if Vim is restarted.

obiefernandez 3y ago

For maximum effect, read the following in Tim’s distinctive voice: “Is this a joke? If you mean the 6,000 lines of working code, then no, I poured hundreds upon hundreds of very serious hours into that. But if you're referring to the fact it's woefully underdocumented, adds considerable overhead to an already slow host platform, and ultimately unlikely to gain any traction, then yeah, probably.”

msla 3y ago

If we implement TECO in this, do we break the Matrix?