Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp. - View it on GitHub