Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp by taking great ideas from Haskell, Scheme, and OCaml.

New! Coalton language manual.

May 2025: Robert Smith's talk at ELS 2025.