静的にタイプされた、組み込み可能な、編集可能なスクリプトランギング

Question

私は次の機能を備えた言語を探しています：

• Swig互換、または同様。 C ++との互換性は簡単なはずです：

C、C ++、アレグロクル、C＃-MONO、C＃-MS .NET、CFFI、CHICHEN、CLISP、D、D、GO、GUILE、JAVA、LUA、MZSCHEME/RACKET、OCAML、OCTAVE、PERL、PHP、Python、R、Ruby、 TCL/TK

• 静的に入力：いいえ myobject.completelynewfieldwithunknownsideeffects = buesshow（） ルアのように。いいえ isinstance（） PHPのように。いいえ newVariableofunknownType = foo（） Pythonのように。好ましくは強くタイプされています（「hello "+0ではなく" hello "+" 0 "）：

c、c ++、c＃、d、go、java、ocaml、php、ruby？他の ？

• 実行時（およびexec（ "gcc plugin.cpp"）！）にコンパイルできます。

C：Libclang、CH; C ++：CH;任意のスクリプト形成;他の ？

• x86 .dll/.so、または.cppに（オフラインまたは実行時のいずれか）にコンパイルできます

C：GCC、Libclangなど。 C ++; C＃; d; Python;行け; ocaml;ルア：luajit;ルビー：滑dic

• できればデバッガーで:)

tl; dr

PERFのためにコンパイルできる、静的にタイプされた埋め込み可能なスクリプトランジェージが欲しいです。

アイデア？コメント？どんな種類の入力ですか？ありがとう ！

編集 これまでの有効な命題：

• Java： http://download.oracle.com/javase/6/docs/api/java/lang/compiler.html
• C＃： http://support.microsoft.com/kb/304655/en-us
• CHによって解釈されたC ++は、通常のコンパイラでコンパイルされ、GCC/VCと互換性があることを願っています
• ラケット： http://pre.racket-lang.org/docs/html/inside/overview.html#%28part._embedding%29

ですから、私が元々思っていたよりもはるかに多くの希望があります:)ありがとうございました！私は調査を続け、このテーマに関するより多くの経験があるときに答えを受け入れます。