Coalton: Efficient, Statically Typed Lisp with Haskell and OCaml Ideas

Summary

Coalton is a statically typed functional programming language that combines ideas from Haskell, Scheme, and OCaml to improve Common Lisp. It has released a new language manual and was featured in a talk at ELS 2025.

Why it matters

Medium

Topics

Related coverage

Hacker News Front Page

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

5/29/2026, 2:01:31 PM

Post Stream

Flat, source-grounded posts. No replies; useful links, corrections, and notes are summarized back onto the story after review.

Type related linkopinioncorrection URL Title

Local fixture mode allows posting. Production posting requires Google login and write-rate limits.

Add post

No posts have been added to this cluster yet.

Rank history