#coalton — Public Fediverse posts

Hype for the Future 230D: Jackson County, Ohio

https://novatopflex.wordpress.com/2026/06/18/hype-for-the-future-230d-jackson-county-ohio/

🚀 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

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

🚀🎉 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

Mine, a Coalton and Common Lisp IDE

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

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

Mine, an IDE for Coalton and Common Lisp

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

#HackerNews #Mine #IDE #Coalton #CommonLisp #Programming

Coalton is a typed language build on top of CommonLisp, which takes inspiration from Haskell, Scheme and Ocaml. It supports type classes and in general is fairly enjoyable to use as it integrates well into the existing Lisp tool support. I wrote a small optics library with it (WIP). https://github.com/justjoheinz/lens

Leave a comment if you tried coalton too, please.

#coalton #commonlisp #lisp #optics #library #programming

Here's Robert's talk on #Coalton https://www.twitch.tv/videos/2462719447?t=04h36m08s
#Lisp

@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

🚀 Just when you thought quantum computing couldn't get more convoluted, here's a riveting tale of using a language called "Coalton" to build a #compiler. 🤯 Because if there's anything quantum computing needs, it's the added #complexity of a niche language nobody's heard of. 🙄
https://coalton-lang.github.io/20220906-quantum-compiler/ #quantumcomputing #Coalton #technews #innovation #HackerNews #ngated

Using Coalton to Implement a Quantum Compiler

https://coalton-lang.github.io/20220906-quantum-compiler/

#HackerNews #Coalton #QuantumCompiler #QuantumComputing #ProgrammingLanguages #Technology

I've lost a bit of touch with the #Lisp landscape. What are some new things happening?
#Coalton looks interesting: https://github.com/coalton-lang/coalton

#LFE has been here for a long time but overall is still the most exciting "new" Lisp to me.

最近 #Coalton を使っている理由は設計を明示するためで、クリーンアーキテクチャがうまくいくのか試験するにはよい型システムがあった方が嬉しい。
(なんでそもそも #Lisp なのかというと Lisp でないと趣味で書く気にならないからというのがあり……)

#Coalton で iter:drop! が何故かなかったので自分で定義する必要が生じ、実装の方法をだらだら考えていたら時間が過ぎていた。 #qkdev

I use #passwordstore, but unfortunately, it's a bash script which doesn't work well on #windows. A good excuse to try out #coalton, which is an embedded #haskell like language for #commonlisp! Not exactly production ready quality, but good enough for me.

Coalton is a really nice pragmatic language and gives the "best of both worlds" feeling.

https://github.com/simendsjo/passish

@screwtape @svetlyak40wt @galdor @ldbeth

I think they are pretty similar actually, with the major differences imo being that #scheme implementations typically reify stack frames as continuations, allowing you to step through program execution live without necessarily needing a macrostepper, while #CommonLisp offers the SLIME/Sly experience on top of countless battle hardened tools & techniques developed over decades, with of course the downsides of a dynamic lexical environments and lack of hygiene that can lead to particularly funky debugging situations.

Most schemes have let-syntax, which I believe is like macrolet but with syntax-objects, which is another distinguishing difference. Syntax-objects are like records with an AST & source location information. It's worth noting that Robert Smith said that Common #Lisp's lack of a means to perform transformations over locations is one of the biggest obstacles to improving #coalton's user experience: https://twitter.com/stylewarning/status/1574868014855380992

But overall, scheme systems are typically very bare bones, you're often expected to roll ad-hoc debugging tools that I believe common lisp ships with. But the attraction of this is that our systems are easy to decompose and mold into whatever you need, and tools you simply can't imagine elsewhere (because of lack of first-class continuations) simply fall out the bottom once you get the hand of it. But I'll admit, moving from #racket to pure scheme was at times daunting and very challenging, whereas I could pretty much pick up racket and roll with it.

Using #coalton to implement a quantum compiler
#lisp
https://t.co/mofSJ4IxYC