RPython
Restricted Python
Pythonに制約を加えたサブセット言語
全ての変数の型を型推論で特定できるようにするための制約 静的型付けされたコードへ変換可能
RPythonの処理系はRPythonプログラムをC(など)に変換するCompilerになっている ↑これはPython実装
Python風に書ける言語処理系記述DSLぐらいのもの ref github
↓これであってる？
document
Pythonで書かれたPyPyのインタプリタのソースコードはtranslate.pyを使ってC言語やLLVM、CLR(.net)、Javaといったバックエンドのソースコードに変換されます。
RPythonで実装された処理系
etc
参考
Erlang
RPythonでBFのJITインタプリタを作るチュートリアル