Thanks Carl for your explanation! I just have one doubt regarding the way Pypy is supposed to work when its finished:
We know that for translating the rpython interpreter to C, the pypy team developed a tool that relies heavily on static type inference. My question is: Will this type inference also work when running programs on pypy? Is type inference a way to speed up running programs on pypy, or it was just a means to translate the Rpython interpreter to C? In other words: Will type inference work on running programs to speed them up, or this task is only carried out by psyco-like techniques? -- http://mail.python.org/mailman/listinfo/python-list
