<![CDATA[I haven't clicked the link yet, but I guess I should also reannounce Robert Smith's new #IDE for #commonLisp #typeTheory #staticTyping super-macro (#coalton) #dev named mine.]]>I haven't clicked the link yet, but I guess I should also reannounce Robert Smith's new for super-macro () named mine.

Link Preview Image
Introducing mine, a Coalton and Common Lisp IDE

By Robert Smith mine is a brand new IDE for Coalton and Common Lisp, built from the ground up with one purpose: To make Coalton and Common Lisp easier and more accessible to the programming world. TL;DR? Go to mine's homepage with downloads for Windows/macOS/Linux. mine is a complete, single-download application that comes with everything needed to experience the interactive and incremental development programming workflow, including hot-reloading and on-the-fly debugging, that Lisp programmers often refer to as the differentiating feature of the ecosystem. After installing, one can immediately open a file, program some Coalton or Lisp, and beam code to the REPL. On the same token, it has many of the advanced features you’d expect in a professional IDE:

favicon

The Coalton Programming Language (coalton-lang.github.io)

@vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt (reverse-chronological earlier toots).

EDIT:
Simon Brooke's review was a major topic in the sunday-morning-in-europe see
https://gamerplus.org/@screwlisp/116469933987641020

]]>https://board.circlewithadot.net/topic/91405a3c-5bad-43d4-971c-7f3e857ebe76/i-haven-t-clicked-the-link-yet-but-i-guess-i-should-also-reannounce-robert-smith-s-new-ide-for-commonlisp-typetheory-statictyping-super-macro-coalton-dev-named-mine.RSS for NodeFri, 15 May 2026 06:29:17 GMTSun, 26 Apr 2026 00:17:29 GMT60<![CDATA[Reply to I haven't clicked the link yet, but I guess I should also reannounce Robert Smith's new #IDE for #commonLisp #typeTheory #staticTyping super-macro (#coalton) #dev named mine. on Sun, 26 Apr 2026 23:46:44 GMT]]>@screwlisp Yeah, for context: mine exists specifically to address the friction of learning Common Lisp (or Coalton). It's a single executable that bundles a compiler (SBCL), a Terminal and Quicklisp, all into one so any noob gets a double click->Lisping setup. It's for noobs, not those already Lisping and know Emacs. So it does things like CUA bindings, non-extensible etc. The idea is that folks can graduate to Emacs later on if they want (though I suspect if they start off with mine, they'll never learn Emacs but shrug).

Though I've long been one of those that doesn't think learning Emacs (along with Quicklisp and ASDF) is asking too much, testing mine in the initial alpha group kind of convinced me that yeah, this probably should have existed a long time ago. Emacs and other associated setup can no longer be used as an excuse to not learn Lisp.

@tux0r @svetlyak40wt @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt

]]>https://board.circlewithadot.net/post/https://yap.zyd.lol/users/zyd/statuses/01KQ630D6YX4VP3M8NTT1RFZVZhttps://board.circlewithadot.net/post/https://yap.zyd.lol/users/zyd/statuses/01KQ630D6YX4VP3M8NTT1RFZVZSun, 26 Apr 2026 23:46:44 GMT<![CDATA[Reply to I haven't clicked the link yet, but I guess I should also reannounce Robert Smith's new #IDE for #commonLisp #typeTheory #staticTyping super-macro (#coalton) #dev named mine. on Sun, 26 Apr 2026 23:37:16 GMT]]>@tux0r
I think Robert Smith's point with mine is to be anti-Extending[MACroS].

For those of us already fallen, I can imagine
M-x slime-scratch
(ql:quickload :coalton)
(in-package :coalton-user)
(coalton ...)
E.g. I think coalton's default exponentiation stuff defaults to requiring the result be the same type as the arguments. I have sadly discovered it does not build with ecl so I didn't test it yet.

@svetlyak40wt @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt

]]>https://board.circlewithadot.net/post/https://gamerplus.org/users/screwlisp/statuses/116473635563914380https://board.circlewithadot.net/post/https://gamerplus.org/users/screwlisp/statuses/116473635563914380Sun, 26 Apr 2026 23:37:16 GMT<![CDATA[Reply to I haven't clicked the link yet, but I guess I should also reannounce Robert Smith's new #IDE for #commonLisp #typeTheory #staticTyping super-macro (#coalton) #dev named mine. on Sun, 26 Apr 2026 23:13:01 GMT]]>@svetlyak40wt @screwlisp @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt Is there anything it can do that GNU Emacs with SLIME can't *if* I already live in Emacs?

]]>https://board.circlewithadot.net/post/https://layer8.space/users/tux0r/statuses/116473540192027236https://board.circlewithadot.net/post/https://layer8.space/users/tux0r/statuses/116473540192027236Sun, 26 Apr 2026 23:13:01 GMT<![CDATA[Reply to I haven't clicked the link yet, but I guess I should also reannounce Robert Smith's new #IDE for #commonLisp #typeTheory #staticTyping super-macro (#coalton) #dev named mine. on Sun, 26 Apr 2026 21:10:07 GMT]]>@screwlisp @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt

This new editor is looking very interesting. Especially it's built-in code critique feature. Will try it this week.

]]>https://board.circlewithadot.net/post/https://fosstodon.org/users/svetlyak40wt/statuses/116473056972715056https://board.circlewithadot.net/post/https://fosstodon.org/users/svetlyak40wt/statuses/116473056972715056Sun, 26 Apr 2026 21:10:07 GMT