我們可能使用更高階的語言來寫OS嗎？

今天我看在 JuluOSDev 論壇上看到 

Descent 問道：寫 os 真的只有組合語言, c/c++ 可以完成嗎？別的語言無法用來寫 os 嗎？
（本文同步回覆於論壇）

以下是我參考一些文章翻譯及一點自已小心得總和而來。

其實是也不是，對所有語言來說最終會轉換machine code (大部分會產生中間的assembly)。
換個精確一點的問法：「我們可能使用更高階的語言來寫OS嗎？」

答案不是絕對的，因人而異。

排列比較答案後，大部分想使用高階語言來寫OS，是想簡化學習的曲線，避掉一些瑣碎細節，來享受快速開發的好處。

但憑心而論，學習沒有捷徑，天道酬勤；
還是需要大量的作業系統設計的基礎（如網路通信協定、記憶體管理、執行緒、驅動程式等等），
畢竟不會使用舊的方法的問題所在；無法創造新的路出來。

從技術的觀點來看，電腦其實並不知道你使用的是C#，還是JAVA；
首先你第一個要的是一個 bootloader, 
如果略過bootloader 的部分，你可以用任何語言來寫OS，

假設所使用的語言可以編譯出機器語言（而不是byte code，但有人可能反駁說硬體有JVM chip，可能也是成立的，視環境而定）。

另一方面，從效能的觀點，OS常需要精實而高效率的，
這部分高階語言無法為你做的，很有可能你會需要自行開適合的編譯器或其他的子系統來輔助，因為在和硬體溝通的部分若沒有低階語言存取能力，事情可能變得更複雜一些。

最後，就我個人而言，也夢想有一天，自已能用 python 或 nodejs 等語言來寫出OS來。
以下是大略列出（但不限），其他語言可用來寫OS：

* Forth -- http://www.forth.org/svfig/osf.html
ref: http://en.wikipedia.org/wiki/Forth_(programming_language)

* Lisp -- Genera is a commercial operating system
ref: http://en.wikipedia.org/wiki/Genera_(operating_system)

* JAVA: JNode
ref: http://www.jnode.org/
ref: http://www.jopdesign.com/ (Java Optimized Processor)

* C#: Singularity
ref: http://research.microsoft.com/en-us/projects/singularity/

* Ada: MaRTE OS
ref: MaRTE OS: An Ada Kernel for Real-Time Embedded ... - CiteSeerX
ref: http://marte.unican.es/


參考資料:
*stackoverflow - 627095/can a whole operating system be written without using even one line of c c code

*High level Languages and IO Access in Computer Interfacing﹣ osdever.net/tutorials/pdf/high_level_io.pdf

* System Programming in a High Level Language - Andrew D Birrell ﹣ http://birrell.org/andrew/papers/thesis.pdf

* wikipedia Operating system

* stackoverflow - 3317329/what language is used to write operating systems windows
* quora.com/What programming language are operating systems written in


以上寫了一堆，希望有所幫助。