On: Quilc: An optimizing quantum compiler written in C...

[dragonwriter]

> It’s not like static typing and the immediate feedback CL has are mutually exclusive.

While it's from the Scheme side of the Lisp family tree rather than the CL side, there is Typed Racket.