写操作系统只能用汇编和C语言吗

作者：北极
链接：http://www.zhihu.com/question/26834043/answer/34245822
来源：知乎
著作权归作者所有，转载请联系作者获得授权。
理论上说，大部分语言都可以用来写操作系统内核。
但是为什么大部分操作系统内核都只用C语言来写？因为目前所有的语言的开发环境里， C语言能做到编译成不依赖操作系统的形式二进制代码，C语言的各种脱离系统的库最丰富，最完整，C语言用来开发操作系统的工具最多。
举个例子：
如果内核中希望使用printf这个函数，那么内核就必须自己实现printf，而不是依赖标准库，因为 标准库是要依赖操作系统来完成真正的printf操作。而这种库，C语言版本的最容易找到，其它语言要么没有，要么很难用。
题主有兴趣可以看Linux源码、网上泄露的Windows源码、ReactOS源码、以及各种嵌入式平台的源码（uC/OS，ThreadX，VxWorks等），这些源码的一个特点就是它们自身都实现了大部分标准库的函数。
所以语言本身是什么不重要，重要的是语言运行所依赖的东西。
如果有人使用Pascal实现了Pascal标准库里的大部分功能，并且都不依赖于操作系统，那么用这个环境就可以用来开发Pascal写的操作系统。
有人会说解释型的语言肯定不合适，但是，实际上如果有人能移植一套不依赖操作系统的Java虚拟机，那么虚拟机之上完全可以开发一套以Java语言开发的操作系统。解释型的语言难点在于解释器，但如果解释器不依赖操作系统，那么语言本身也可以做到不依赖。
回到问题，编程语言只是工具，不同语言之间确实在做事情上有差异，但如果付出一些代价（成本），那么工具的限制因素就会降低。
用机床可以做零件，但用斧头、锤子、电钻、刀具就不能做了吗？只不过很麻烦而已。
商用操作系统用C语言开发是因为工具齐全开发成本低，仅此而已。