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