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!"); }