May 28, 2026

Lisp Drama, Now With Extra Types

Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml

A nerdy new coding language drops, and the comments instantly turn into a type-war

TLDR: Coalton is a new language built to make Common Lisp feel more reliable and modern by borrowing ideas from other popular coding tools. The community reaction is a mix of hype, confusion, and sass, with fans intrigued but critics asking why it isn’t just OCaml in Lisp clothing.

Coalton just showed up promising to make old-school Common Lisp feel smarter, safer, and more modern by borrowing ideas from beloved programming favorites like Haskell and OCaml. On paper, that sounds like catnip for serious coders. In the comments, though, the real show begins: half the crowd is intrigued, and the other half is already asking why this even needs to exist.

The loudest reaction is pure "cool idea, but how do I actually start?" One commenter practically waves a white flag, saying they want to learn Common Lisp and like the idea of stricter checks catching mistakes early, but can’t find an easy on-ramp. That sparked the classic tech-drama vibe: a shiny new tool is exciting, but if newcomers can’t get through the front door, what’s the point?

Then came the spicy skeptic energy. One commenter basically asked, why not just slap Lisp-style parentheses onto OCaml and call it a day? That’s the kind of take designed to summon a hundred rebuttals before breakfast. Meanwhile, another admitted the words "Statically Typed" and "Haskell" were enough to make them click on a Lisp story “for once,” which is either a glowing endorsement or a drive-by roast of Lisp’s usual reputation.

There was also the inevitable wishlist posting: where’s the feature that cleanly separates safe code from side-effect chaos? And in true internet fashion, someone casually dropped the IDE link like a backstage pass. Verdict: Coalton has people curious, picky, and very ready to argue.

Key Points

  • Coalton is described as an efficient, statically typed functional programming language.
  • The language is presented as a way to enhance or "supercharge" Common Lisp.
  • Coalton draws ideas from Haskell, Scheme, and OCaml.
  • The article positions Coalton within the functional programming and Lisp landscape.
  • A new Coalton language manual is announced.

Hottest takes

"can’t find a simple way to get started with Coalton" — drekipus
"just slap a s-expression syntax on top of ocaml and call it a day" — rixed
"made me click on something lisp related for once" — LelouBil
Made with <3 by @siedrix and @shesho from CDMX. Powered by Forge&Hive.