Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml
Summary
Coalton is a statically typed functional programming language that enhances Common Lisp with ideas from Haskell, Scheme, and OCaml. The site promotes the project, its manual, and recent talks, highlighting its design goals and open-source development.