For the more static languages, LLVM seems hot and well-supported right now. There is a rich tradition of compiling via C, with good and bad results. Gambit Sch

For the more static languages, LLVM seems hot and well-supported right now. There is a rich tradition of compiling via C, with good and bad results. Gambit Scheme compiles via C and is one of the fastest Scheme systems around, with good interoperability via C. The Glassgow Haskell Compiler can also compile via C, but that's, AFAIK, an unmaintainable mess (search for "evil mangler").