I've been working with concept of "Coalton Core and lisp shell" for a few weeks. #Coalton <-> #Lisp interop is usually okay, often painful, and occasionally buggy. But I am enjoying this nonetheless. Sometimes I need coalton to slow me down and force me to think, often I love that Lisp let me get wild.

Ramin Honary hosts anti-hype #llm #ai #climate (bad) leadership #commonLisp #coalton #schemacs #dev #lispyGopherClimate

https://communitymedia.video/w/sBNPeWFJ7NuDVCjkAv7fkX

Ramin Honary hosts anti-hype #llm #ai #climate (bad) leadership #commonLisp #coalton #schemacs #dev #lispyGopherClimate

PeerTube
Ramin Honary hosts anti-hype #llm #ai #climate (bad) leadership #commonLisp #coalton #schemacs #dev #lispyGopherClimate

PeerTube
#lisp + #haskell enthusiasts who happen to write/try #coalton, do you write .coal files or .lisp?
I've been trying #coalton for last few weeks and am using .lisp, but given that I always only have a single in-readtable call per file, I am thinking it only make sense to not have to do coalton-toplevel all the time. I create a new coalton-toplevel for a new "block" (where block = whatever make sense to me) so I can keep my lisp workflow without having to re-eval everything.

@vindarel TIL! That's amazing! Thanks for sharing. Might finally give me an excuse to try Lem more seriously.

I just started building a small personal tool with #coalton. Had to modify #guix's cl-coalton a bit to get file library because Guix has an ancient version of coalton.

The Coalton Programming Language

The Coalton standard library reference.

The Coalton Programming Language
🌘 Coalton Playground:在您的瀏覽器中體驗型別安全的 Lisp
➤ 讓強大的型別安全 Lisp 觸手可及
https://abacusnoir.com/2025/08/12/coalton-playground-type-safe-lisp-in-your-browser/
作者分享了一個名為 Coalton Playground 的側邊專案,這是一個基於網頁的互動式環境,讓使用者可以直接在瀏覽器中體驗 Coalton,一個結合了 Haskell 型別系統與 Common Lisp 的靜態型別 Lisp 方言。該專案的建立是為了簡化 Coalton 的試用流程,無需複雜的本地環境設定。開發者透過預先建置包含 Coalton 的 SBCL 核心,顯著縮短了啟動時間,提升了使用者體驗。
+ 這個 Coalton Playground 聽起來很棒!我一直對 Coalton 感興趣,但又不想花時間處理 Lisp 環境的設置,這正好解決了我的問題。
+ 看到預先建置 SBCL 核心來加速啟動的技巧,真是太聰明
#程式設計 #Lisp #Coalton #Web 應用程式
Coalton Playground: Type-Safe Lisp in Your Browser

I wanted to share a side project I’ve been tinkering with for a while and finally got around to shipping: Coalton Playground – basically a web-based REPL for Coalton, which is this inte…

Abacus Noir
European Lisp Symposium 2025 - Live! - elsconf on Twitch

elsconf went live on Twitch. Catch up on their Special Events VOD now.

Twitch
@kototama They have this disclaimer on potential "substandard user experience" on Github. Robert joked that he'd tag it 1.0 as soon as he could place a published paper somewhere.
Technically, I think #Coalton is very usable. And as I heard yesterday, it's used in production.
Robert Smith just gave a keynote on #Coalton at the European Common Lisp Symposium, focusing on how Coalton can improve performance while allowing your code to remain more generic than pure Common Lisp code.
https://github.com/coalton-lang/coalton
#Lisp
GitHub - coalton-lang/coalton: Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp. - coalton-lang/coalton

GitHub