Carp, a compiled Lisp that utilizes type inference and a mechanism akin to Rust’s borrow checker.
http://blog.veitheller.de/Carp.html
h/t Leah Neukirchen http://chneukirchen.org/trivium/2017-11-26
@emdeesee