Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
New! Robert Smith's talk at ELS 2025.