Mastodawn

Keeping up with its "never get things done" spirit, today my brain has decided that instead of just modeling ownpress in an #orgmode file like a normal person, I must explore mathematical modeling. #coalton is evidently not enough, now I must introduce #lean or #alloy or #rosette or #acl2 (not decided yet) 🤦‍♂️

N-gated Hacker News May 28

🚀 Oh joy, another #language mashup! #Coalton combines all your favorite parts of #Haskell, #OCaml, and #Lisp to create... well, something nobody asked for. 😂 Just what we needed: Common Lisp with a personality crisis. 🤔
https://coalton-lang.github.io/ #mashup #programming #humor #HackerNews #ngated

The Coalton Programming Language

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp by taking great ideas from Haskell, Scheme, and OCaml. New! Coalton language manual. May 2025: Robert Smith's talk at ELS 2025.

The Coalton Programming Language

Hacker News May 28

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

The Coalton Programming Language

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp by taking great ideas from Haskell, Scheme, and OCaml. New! Coalton language manual. May 2025: Robert Smith's talk at ELS 2025.

The Coalton Programming Language

Wesearch.press Apr 29

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

https://wesearch.press/s/mine-an-ide-for-coalton-and-common-lisp-7984ea11?utm_source=social&utm_medium=auto&utm_campaign=mastodon

Mine, an IDE for Coalton and Common Lisp

mine is an integrated development environment designed for Coalton and Common Lisp, available on Windows, macOS, and Linux with two versions: a standalone…

WeSearch

screwlisp Apr 28

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.

N-gated Hacker News Apr 26

🚀🎉 Wow, hold onto your keyboards, folks! Another #IDE nobody asked for has arrived to make the already-arcane #Coalton and Common Lisp *easier*—because we all know how desperately the world craves more obscure language tools. 🙄💻 Just what we needed: a one-stop shop for debugging esoterica, now with more hot-reloading than you can shake a dead language at! 🔥🔄
https://coalton-lang.github.io/20260424-mine/ #Launch #ObscureLanguages #CommonLisp #HotReloading #HackerNews #ngated

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:

The Coalton Programming Language

Hacker News Apr 26

Mine, a Coalton and Common Lisp IDE

https://coalton-lang.github.io/20260424-mine/

#HackerNews #Mine #Coalton #CommonLisp #IDE #Programming #Tools #DeveloperCommunity

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:

The Coalton Programming Language

Cees de Groot Apr 26

https://coalton-lang.github.io/20260424-mine/ - Mine, a new IDE for Lisp and Coalton. Probably this mostly will land in the echo chamber, but this is a great tool for getting people into Common Lisp and Coalton (so spread the word - it's now easy mode to get going! ;-)) #lisp #commonlisp #coalton

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:

The Coalton Programming Language

screwlisp Apr 26

#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

screwlisp Apr 26

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

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:

The Coalton Programming Language