Lots of Common Lisp systems have very good REPLs and compile to machine code. A popular example is SBCL.