It's a pity all this effort is going into Ocaml which seems something of a dead end.
If the core language was Rust or Go then momentum would really pick up.
If the core language was Rust or Go then momentum would really pick up.
Based on what, exactly? If anything 'all this effort' should indicate the complete opposite of what you state.
I'm perfectly happy about how MirageOS is doing and I'm glad there are options that allow people to choose where they make their trade-offs.
Right, because Unix had no effect on the number of people working in C.
> "It makes more sense to give the people the tools they need to get the job done"
MirageOS takes a clean-slate approach and it's not exactly a secret. There are evidently significant benefits to this, as well as trade-offs. There are other unikernel implementations out there that have prioritised legacy over safety and composability.
http://www.quora.com/Do-you-feel-that-golang-is-ugly/answer/...
There is nothing particularly arcane about OCaml. The fact that it's not a mainstream language is not a good indicator of its complexity.