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インタプリタを作るチュートリアル