Hacker News Reader

MirageOS hello world app is pretty ugly. Everything remains to be done before being understood by a wider public.

I think few of us like OCaml for its syntactical beauty. People are drawn to MirageOS for its semantics. Type safety, etc.

However, there are other Unikernels. IncludeOS uses modern C++ so the Hello World looks like this:

#include <os> int main() { printf("Hello World!"); }

For reference, the ugly OCaml equivalent unikernel is:

let () = print_endline "Hello, world!"