3 ms·
OCaml's Mirage unikernel seems to have a lot of steam these days.
by tel 11y ago
OCaml's Mirage unikernel seems to have a lot of steam these days.
- cies 11y agoYeah it's a very complete project. And we saw "Look Ma No OS"[1] today on HN about Erlang/Elixir-on-Xen with the LING unikernel. But it is Haskell that I'm personally all hyped up about lately; and OS-less-ness is to me merely a potential secondary advantage of going back to "compiled" (I come from Ruby/Python before that Java before that C++). My main reason for going with Haskell is that I know the costs of bugs, and feel that I get to old for fighting bugs on tight deadlines. 1: http://slides.com/technolo-g/intro-to-unikernels-and-erlang-on-xen-ling-demo http://slides.com/technolo-g/intro-to-unikernels-and-erlang-...
- tel 11y agoWell, I'd suggest that OCaml probably has similar bug fighting properties as Haskell. It depends a lot on how much you enjoy writing module existence proofs :) If I had any genuine reason for a unikernel today I'd definitely go for Mirage.