Comment on Why OCaml, Why Now?Comments−boothead12yIf 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!−andolanra12yHaskell also has the analogous HaLVM: https://github.com/GaloisInc/HaLVM−pjmlp12yI really hope such systems take up, as we need OS designed with better languages.
Comments
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!
Haskell also has the analogous HaLVM: https://github.com/GaloisInc/HaLVM
I really hope such systems take up, as we need OS designed with better languages.