Statically typed, embeddable, compiled langage script

I am looking for a language with the following features:

• Compatible with SWIG or equivalent. C ++ compatibility should be simple:

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

• Statically typed: none myObject.CompletelyNewFieldWithUnknownSideEffects = GuessWhat () as in Lua. No isinstance () like in php. No newVariableOfUnknownType = foo (), as in Python. Preferably strongly typed ("Hello" + "0" rather than "Hello" +0):

C, C ++, C #, D, Go, Java, Ocaml, PHP, Ruby? Other?

• It can be compiled at runtime (and exec ("gcc plugin.cpp")! Is not counted!) In any asm / intermediate langage.

C: libCLang, Ch; ++: Ch; ; ?

• ( ) x86.dll/.so, OR.cpp

C: gcc, libClang ..; ++; #; D; Python; ; OCaml; Lua: LuaJIT; Ruby: Ledicrous

• :)

TL; DR

, langage, perf.

? ? ? !

EDIT :

• Java: http://download.oracle.com/javase/6/docs/api/java/lang/Compiler.html
• #: http://support.microsoft.com/kb/304655/en-us
• ++, Ch, , , GCC/VC
• : http://pre.racket-lang.org/docs/html/inside/overview.html#%28part._embedding%29

, :) ! , .