[boothead]

If ocaml is a language waiting for a killer app, this might be it: http://www.openmirage.org/

There was a presentation at the FP eXchange in London last Friday about mirage and many a mind was blown!

[andolanra]

Haskell also has the analogous HaLVM: https://github.com/GaloisInc/HaLVM

[pjmlp]

I really hope such systems take up, as we need OS designed with better languages.