RPython is a restricted subset of Python that is amenable to static analysis.
Rpython was designed for the purpose of implementing pypy, but it is described as a language for writing virtual machines, and other languages are being implemented in Rpython as well. Rpython automatically creates a tracing JIT compiler for the languages written in it , focusing on on opimization of immutable data and pure functions .