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? -- http://mail.python.org/mailman/listinfo/python-list