Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml
https://coalton-lang.github.io/
#HackerNews #Coalton #Lisp #Haskell #OCaml #programming #language #development
mine: a new IDE for Coalton and Common Lisp, now available for Windows, macOS, and Linux. Choose between a standalone app or terminal-based core. Features include REPL, debugger, inline diagnostics, type hints, auto-complete, and structural editing. Built for performance with native compilation. #coalton #commonlisp
Every 0UTC Wednesday!
there will of course be the Tuesday-evening-in-the-Americas #lispyGopherClimate #live on
#archive
https://toobnix.org/w/eCCvKBZvuwkXj244ojjzTU
!
- show starts with @kentpitman #haiku and a discussion of the #climateCrisis
Kent and Ramin will join today for a discussion of #lisp #IDE s.
Kent scanned his historical c. 1980 #TECO #emacs cheatsheet: https://climatejustice.social/@kentpitman/116484262128356625
Ramin's #schemacs https://emacsconf.org/2025/talks/schemacs/
viz Smith's new mine #staticTyping #coalton ide.
+ the emacs/ide ecosystem.
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:
Mine, a Coalton and Common Lisp IDE
https://coalton-lang.github.io/20260424-mine/
#HackerNews #Mine #Coalton #CommonLisp #IDE #Programming #Tools #DeveloperCommunity
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:
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:
#lispyGopherClimate If the stars align and everything works
https://toobnix.org/w/m18PXLF4busMtXMh1Zby8Z
#peertube #archive sunday morning in Europe !
I'm still out-of-it-after-surgeory so I am going to read these threads:
https://appdot.net/@mdhughes/116451465535355292 @mdhughes @lain_7 @djl @indyradio in the vane of Liskov's #CLU #history .
https://mastodon.scot/@simon_brooke/116469811023564889 @simon_brooke tried Robert Smith ( #coalton #staticTyping )'s new #commonLisp #IDE https://coalton-lang.github.io/20260424-mine/
Poetry-wise, reading @vnikolov 's https://ieji.de/@vnikolov/116469719666807396
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.
https://coalton-lang.github.io/20260424-mine/
@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 #lispygopherclimate see
https://gamerplus.org/@screwlisp/116469933987641020
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:
Mine, an IDE for Coalton and Common Lisp
mine is an integrated development environment for Coalton and Common Lisp for Windows, macOS, and Linux. 👉 Download the latest release. mine comes in two flavors: mine-app is a complete, all-in-one, packaged application with no dependencies. It Just Works™, or it’s a bug. mine-core is a hacker-friendly “bring your own compliant terminal” variant. It allows you to use mine at your own command line, but requires a terminal that has a Unicode font, supports rich colors, and supports the Kitty keyboard protocol. Coalton and Common Lisp Coalton? Common Lisp? Both? The editor is exclusive to neither, and both come built-in. If you want strong, static types with a flavor of functional programming, Coalton is available. If you want free-wheeling dynamicism and an advanced object system, Common Lisp is available. You can use one, the other, or mix-and-match as your project demands.
N-gated Hacker News
Hacker News
Wesearch.press
screwlisp
Cees de Groot