Not only that, there is already a Python implementation that compiles to Common Lisp (http://common-lisp.net/project/clpython/ http://common-lisp.net/project/cl

Not only that, there is already a Python implementation that compiles to Common Lisp (http://common-lisp.net/project/clpython/ http://common-lisp.net/project/clpython/), so you can get native code compilation for Python by running CLPython on any of the Common Lisp compilers that produce native code. IMO, I don't see the point of working on static compilers for languages with simple meta-circular semantics at this point in time. LuaJIT has proven beyond doubt that tracing JIT compilation is the way to go.