Yup, I forgot to mention the nice new example of Julia, which is used interactively, dynamically typed, compiles to machine code, and has introspection just like Lisp (e.g. SBCL afaik):

http://www.jlhub.com/julia/manual/en/function/code_native

It's basically a Lisp with syntax, being bootstrapped with femtolisp for its Lisp-like macro system.

https://docs.julialang.org/en/v1/manual/metaprogramming/inde...

Many Common Lisp implementations interactively compile to native code.