虚拟机真的能解决跨平台问题吗？

解释性语言必不可少的虚拟机，在很多人看来是很好的解决软件跨平台问题的解。但实际上这种跨平台的能力是在更上层的应用中完成的，好比两种不同语言的人进行交流时总是需要翻译一样。这样的话跨平台能力其实不是语言和语义本身的能力，而是翻译机制所起的作用。可是在硬件上我们已经有了一个强大的抽象层了，这就是操作系统。那么为什么我们不能在操作系统层直接提供一种基于语言和语义本身能力的跨平台语言呢。就象C那样来直接编译成目标代码。或者象HTML5那样直接由操作系统通用虚拟机解释呢？？那样的话，人们就可以在一个更大范围内的平台上开发更具智能的应用。从而从整体上提高智能发展的水平和速度。