OCaml Rigor

Reason is OCaml. It compiles to a fast native executable, and yet (unlike C or C++) is garbage collected, making it easier to write bug-free code. Using MirageOS you can compile your program down to a minimal operating system that runs on bare metal.