Please enlighten me about PyPy

[Luis M. González]

Carl Friedrich Bolz wrote:
> The static type inference is just a means. It will not be used for the
> speeding up of running programs. The problem with the current type
> inference is that it is really very static and most python programs are
> not static enough for it.
>
> Therefore we will rather use techniques that are similar to Psyco (note
> that our JIT work is still in the early beginnings and that my comments
> reflect only what we currently think might work :-) ). The idea is that
> the JIT looks at the running code and assumes some things it finds there
> to be constant (like the type of a variable), inserts a check that this
> still holds, and then optimizes the code under this assumption.


Thanks!
I think I completely understand the whole thing now :-)

Anyway, I guess it's just a matter of time untill we can use this
translation tool to translate other programs, provided they are written
in restricted python, right?
So we will have two choices:
1) running normal python programs on Pypy.
2) translating rpython programs to C and compiling them to stand-alone
executables.

Is that correct?