3 ms·

If ocaml is a language waiting for a killer app, this might be it: http://www.openmirage.org/ http://www.openmirage.org/ There was a presentation at the FP eXc

If ocaml is a language waiting for a killer app, this might be it: http://www.openmirage.org/ 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 13y ago
Haskell also has the analogous HaLVM: https://github.com/GaloisInc/HaLVM https://github.com/GaloisInc/HaLVM
pjmlp 13y ago
I really hope such systems take up, as we need OS designed with better languages.