Interesting! Looks like the IDE itself is written in Coalton (https://github.com/coalton-lang/coalton/tree/main/mine) and you can either bring your own terminal or use the standalone version which uses Tauri and Xterm.js.
Huh, I wonder why they made their own IDE instead of integrating with Sly/SLIME. Not trying to knock the project, just genuinely curious. Writing a whole editor sounds like a lot of work.
I like the choice of Iosevka as a font, though.
Edit:
One value I do see myself getting from Mine is as an example Coalton project. Last time I tried Coalton I couldn't figure out how to get ASDF to load standalone Coalton files. Now I have a working example to copy.
Everybody has its own preferences. I have tried it out (linux, command line version) and I can report: Mine is really fast and responsive compared to other Lisp IDEs like emacs which appears to be slow like a snail in comparison.
If you're a power user, the sooner you learn Emacs the better as the synergies with any Lisp language (particularly Common Lisp) are simply too strong to be ignored and there is no contemporary alternative that rivals it.
For new users, this looks like a welcome alternative to messy things like Lem that never really worked very well for me.
I live in Emacs, but I will give Mine a try when get a free hour. I read about Coalton in X and follow the author but I haven't invested time yet to try out.
I keep hoping the Common Lisp community will step up and deliver better Visual Studio Code support. Asking new devs to learn Emacs, alongside all of Lisp's idiosyncrasies, is too tall an order. I bro'd through it in the 90s but today's new devs have been spoiled by modern UIs (and that's a good thing) and shouldn't have to cope with Emacs and its stubborn retroness.
Seeing something like this is a step in the right direction.
I'm going to download and check out Mine and Coalton. Right now, I use Neovide and Lem interchangeably. However, I am in deep with Shen. I bought a hardcopy of The Book of Shen, 5th Edition, and I still have Peter Kogge's 1991 text, "The Architecture of Symbolic Computers". I suspect the Hindley-Milner type system in Coalton will be more familiar to the Haskellers out there, but it is not as strong as Shen's Sequent calculus type system. In Shen, computation is allowed in side-conditions (if, let, and, etc.), so you can compute over terms inside types. Shen wins for raw expressive power and programmable types. Shen is very portable, but being a DSL, Coalton must integrate nicely with Common Lisp. And you get native exe's. Glad to see a simple way for people to program in CL or Coalton without having to go through the decades I have done with Vim and Emacs. VS Code bores me, but it is practical, even if it seems like junkyard truck with everything bolted on or hanging off of it.
9 comments
[ 2.6 ms ] story [ 22.8 ms ] threadI like the choice of Iosevka as a font, though.
Edit: One value I do see myself getting from Mine is as an example Coalton project. Last time I tried Coalton I couldn't figure out how to get ASDF to load standalone Coalton files. Now I have a working example to copy.
For new users, this looks like a welcome alternative to messy things like Lem that never really worked very well for me.
Seeing something like this is a step in the right direction.