LLVM Python
llvmpy.org
llvmpy.org
If not, it should be.
And for good reason: The 'v' glyph was used for both the 'v' sound and the vowel 'u' sound before 'u' became its own letter.
There are also runtime compilers for Python subsets such as Numba (http://numba.pydata.org/) and Parakeet (https://github.com/iskandr/parakeet), which can potentially give you huge speedups (as long as you stay within the world of numerical/array-oriented code).
There really are some "webapps" with tight performance requirements. For example, Google's web frontend is a statically compiled C++ application. And yes, anithero, you could write that sort of thing in Cython and with some type declarations get acceptable native performance. You will probably miss a few opportunities for optimization but catch the low-hanging fruit and get an orders of magnitude speedup over Python.
I seem to remember performance wise the RPython guys seems to think a JIT implementation of Python would be faster because of the dynamic nature of Python.
Edit: Furthermore, how practical is this?
For example, you can use this to generate LLVM IR at runtime, and use the LLVM JIT to compile and execute that LLVM code.
http://qinsb.blogspot.com/2011/03/unladen-swallow-retrospect...