MirageOS arguments its choice of OCaml in these terms: "the module system is among the most powerful in a general-purpose programming language in terms of permi

MirageOS arguments its choice of OCaml in these terms: "the module system is among the most powerful in a general-purpose programming language in terms of permitting flexible and safe code reuse and refactoring" https://mirage.io/wiki/technical-background https://mirage.io/wiki/technical-background