Please enlighten me about PyPy

[Luis M. González]

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?