Langage di scripting tipizzato staticamente, incorporabile e compilabile

Question

Sto cercando un langage con le seguenti funzionalità:

• Swig-compatibile o simile. La compatibilità con C ++ dovrebbe essere facile:

C, C ++, Allegrocl, C# - Mono, C# - MS .NET, CFFI, Chicken, Clisp, D, Go, Guile, Java, Lua, Mzscheme/Racket, Ocaml, Octave, Perl, Php, Python, R, Ruby, Tcl/tk

• Digitato staticamente: no myObject.compleTelyNewFieldWithUnkNownSideEffects = Ipotesi What () Come in Lua. No isinstance () Come in PHP. No newVableOfunkNownType = Foo () Come in Python. Preferibilmente anche fortemente digitato ("ciao"+"0" piuttosto che "ciao" +0):

C, C ++, C#, D, GO, Java, Ocaml, PHP, Ruby? Altro ?

• Può essere compilato in fase di esecuzione (e Exec ("GCC plugin.cpp")! Non conta!) In qualsiasi Langage ASM/intermedio.

C: Libclang, Ch; C ++: Ch; Qualsiasi langage di script; Altro ?

• Può essere compilato (offline o in fase di esecuzione) in un x86 .dll/.so o .cpp

C: GCC, libclang, ecc.; C ++; C#; D; Pitone; Andare; Ocaml; Lua: Luajit; Ruby: ridicolo

• Preferibilmente con debugger :)

Tl; dr

Vorrei un langage di scripting incorporato staticamente tipizzato, che può essere compilato per perf.

Idee? Commenti ? Input di qualche tipo? Grazie !

MODIFICARE Proposizioni valide finora:

• Java: http://download.oracle.com/javase/6/docs/api/java/lang/compiler.html
• C# : http://support.microsoft.com/kb/304655/en-us
• C ++, interpretato da CH, compilato con il solito compilatore, si spera compatibile con GCC/VC
• Racchetta : http://pre.racket-lang.org/docs/html/inside/overview.html#%28part._embedding%29

Quindi c'è molta più speranza di quanto inizialmente pensassi :) Grazie a tutti! Continuerò a indagare e accetterò una risposta quando avrò più esperienza sull'argomento.