Without being presumptuous, I would like you to consider the possibility of this.Most OS today are based on pretty low level languages (mainly C/C++)Even the new ones such as Android uses JNI & underlying implementation is in CIn fact, (this is a personal observation) many programs written in C run a lot faster than their high level counterparts (eg: Transmission (a bittorrent client on Ubuntu) is a whole lot faster than Vuze(Java) or Deluge(Python)). Even python compilers are written in C, although PyPy is an exception.So is there a particular reason for this? Why is it that all our so called High Level Languages with the great OOP concepts can't be used in making a solid OS?So I have 2 questions basically.Why are applications written in low level languages more efficient than their HLL counterparts? Do low level languages perform better for the simple reason that they are low level and are translated to machine code easier?Why do we not have a full fledged OS based entirely on a High Level Language?
Why not have a High Level Language based OS? Are Low Level Languages more efficient?
programming languages;operating systems;efficiency;low level;high level
Microsoft has done some very interesting research in this direction, if you look into Singularity:http://research.microsoft.com/en-us/projects/singularity/Also, Mothy Roscoe et al have been working on Barrelfish which uses the Eclipse constraint programming language as an OS service to sort out all kinds of OS management and resource allocation problems:http://www.barrelfish.org/