If you could write an OS from scratch...

Okay, so most every OS out there is C-based.  If you could magically write a complete hardware-controlling OS all the way up to the UI and applications using a different language, which would you choose?

Though I like Lisp, I think I'd have to choose Erlang, maybe NewSqueak for embedded/smaller systems.

>>12
Links? Google gives:

OCaml OS - one single blurb (pointing to a dead page from 2005), saying it's "only a prototype"

F# OS - no hits about an OS

Haskell OS - "well, I got the boot floppy image going inside a VM, albeit briefly before the guest hung."  At least he's got something.

But, Mr. >>12 Faggot, my original post is clearly one of utopian fantasy, not an actual development effort so fuck you.

_{(and the issue is NOT "the lack of adoption and lack of apps", it's that the OSes you reference never got far past the drawing board)}