http://compilers.cs.ucla.edu/virgil/virgil-oopsla06.pdf <http://compilers.cs.ucla.edu/virgil/virgil-oopsla06.pdf> RPython for different reasons or by different means does similar things already (devirtualisation, separate flexible load time) and could be adapted to implement other aspects/optimisations as well, under the no new allocations assumption. regards.