The JVM the only game in town if you want some combination of high performance, the ability to do user-space systems level programming, type safety, and GC.
There's Google Go now, too, which is arguably a better solution than the heavyweight JVM (though a worse one than C or Ada).
There's Google Go now, too, which is arguably a better solution than the heavyweight JVM (though a worse one than C or Ada).