Langage de scripts à dactylographie, intégrée et compilable

Question

Je cherche un langage avec les fonctionnalités suivantes:

• SWIG-compatible ou similaire. La compatibilité avec C ++ doit être facile:

C, C ++, Allegrocl, C # - Mono, C # - MS .NET, CFFI, POULEUR, CLISP, D, GO, GUile, Java, Lua, Mzscheme / Racket, Ocaml, Octave, Perl, Php, Python, R, Ruby, TCL / TK

• Typé statiquement: non myObject.ComptelyNewFieldWithunkNownsideEffects = Guesswhat () Comme dans Lua. Non isInstance () Comme en php. Non newvariableofunknowntype = foo () Comme dans Python. De préférence fortement tapé aussi ("bonjour" + "0" plutôt que "bonjour" +0):

C, C ++, C #, D, Go, Java, OCAML, PHP, Ruby? Autre ?

• Peut être compilé à l'exécution (et exec ("gcc plugin.cpp")! Ne compte pas!) Dans n'importe quoi ASM / Langage intermédiaire.

C: Libclang, Ch; C ++: ch; Tout langage de script; Autre ?

• Peut être compilé (hors ligne ou au moment de l'exécution) dans un x86 .dll / .so, ou .cpp

C: GCC, libclang, etc.; C ++; C #; RÉ; Python; Aller; OCAML; Lua: Luajit; Ruby: ridicule

• De préférence avec le débogueur :)

Tl; dr

Je voudrais un langage de script à dactylographie statiquement typique et intégré qui peut être compilé pour perf.

Idées? Commentaires ? Entrée de quelque nature que ce soit? Merci !

ÉDITER Propositions valides jusqu'à présent:

• Java: http://download.oracle.com/javase/6/docs/api/java/lang/compiler.html
• C #: http://support.microsoft.com/kb/304655/en-us
• C ++, interprété par CH, compilé avec le compilateur habituel,, espérons-le, compatible avec GCC / VC
• Raquette : http://pre.racket-lang.org/docs/html/inside/overview.html#%28part._embedding%29

Il y a donc beaucoup plus d'espoir que je ne le pensais à l'origine :) Merci à tous! Je vais continuer à enquêter et accepterai une réponse lorsque j'aurai plus d'expérience sur le sujet.