Toward safe, flexible, and efficient software in Common Lisp [video]

youtube.com

This is Robert Smith's presentation on Coalton, an efficient, statically typed functional programming language that supercharges Common Lisp.

Coalton homepage as of this recording: https://coalton-lang.github.io/