I've often thought about the possibility of implementing a language that can compile directly to optimized byte code (either for V8 or JSC), in order to get "hot code" that does not need runtime optimization, has anybody explored this idea?
That won't work for JS because you need runtime profiling to be able to do any meaningful optimizations
That's WebAssembly / asm.js. Well, that's the target, you could still design a language for it.