Is there a compiled* programming language with dynamic, maybe even weak typing?

Question

I wondered if there is a programming language which compiles to machine code/binary (not bytecode then executed by a VM, that\'s something completely different when considering

Answer 1

I believe Lisp fits that description.

http://en.wikipedia.org/wiki/Common_Lisp