coalton-lang/coalton

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