# Coalton

20 Hacker News commenters recommended Coalton and 2 criticized it, November 2025 to November 2026. It was recommended in 10 of 13 months. It meets the Hacker Approved badge rule.

**Verdict:** Statically typed functional language embedded in Common Lisp, with Haskell-style types, seamless Common Lisp interop and efficient code. Caveat: getting started is hard and REPL use needs a wrapper.

## Why people recommend it

- Haskell-style static types inside Lisp (5 comments): "if you really want Haskell types you can use Coalton, which is essentially Common Lisp with Haskell types" ([source](https://news.ycombinator.com/item?id=49974999)) "a Haskell-style language hosted inside a very dynamic one with good interop" ([source](https://news.ycombinator.com/item?id=47106977)) "Common Lisp with a Haskell-like type system" ([source](https://news.ycombinator.com/item?id=46367970))
- Seamless Common Lisp interop (3 comments): "It's an FP language written in CL with seamless interop." ([source](https://news.ycombinator.com/item?id=45794974)) "the excellent Common Lisp interop that Coalton has" ([source](https://news.ycombinator.com/item?id=48319584)) "it really isn't just a language atop Lisp, but something that's integrated within it" ([source](https://news.ycombinator.com/item?id=49976191))
- Enjoyable, well-made, fresh for Lisp (4 comments): "Coalton is a joy to use and IMO a breath of fresh air in CL" ([source](https://news.ycombinator.com/item?id=46295083)) "I already liked Coalton, and after this change I think it's definitely going to be even better." ([source](https://news.ycombinator.com/item?id=47481293)) "And I mean that in a positive way as being different from CL is both an achievement" ([source](https://news.ycombinator.com/item?id=47151153))
- Efficient compiled code in SBCL (2 comments): "an efficient, statically typed functional programming language that supercharges Common Lisp" ([source](https://news.ycombinator.com/item?id=49405251)) "compiles to especially efficient code in SBCL" ([source](https://news.ycombinator.com/item?id=47148044))

## What people warn about

- Hard to get started (2 comments): "The biggest problem for me is that I can't find a simple way to get started with Coalton." ([source](https://news.ycombinator.com/item?id=48287796)) "If an LLM is needed to get set up either the language or the documentation is garbage." ([source](https://news.ycombinator.com/item?id=48319465))
- Lisp syntax limits its design (2 comments): "I think Coalton is cool, but I think you start to run into the limitations of Lisp syntax." ([source](https://news.ycombinator.com/item?id=46188199)) "I'm afraid it may quickly earn similar reputation as LOOP and FORMAT." ([source](https://news.ycombinator.com/item?id=46462093))

## Alternatives hackers recommend

- [Rust](https://hackerapproved.com/p/rust.md): 2039 recommend
- [Go](https://hackerapproved.com/p/go-programming-language.md): 1254 recommend
- [Python](https://hackerapproved.com/p/python.md): 1067 recommend
- [Zig](https://hackerapproved.com/p/zig.md): 743 recommend
- [TypeScript](https://hackerapproved.com/p/typescript.md): 574 recommend

## Cite as

Hacker Approved, "Coalton", https://hackerapproved.com/p/coalton/ (counts from 1,795,640 Hacker News comments, November 2025 to November 2026).