The Coalton Programming Language

 

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.