List-id: MirageOS development <cl-mirage.lists.cam.ac.uk>
Thread-index: Ac5gSmRvOsLnqhiPR7yJcxwpVakdgA==
Hi all,
In the Tuesday NetOS group meeting (2 weeks ? ago when most mirage people not in the Lab), almost all questions are about what is the real advantage of OCaml over C/C++ for system programming. Can we use as-simple-as-possible examples to explain what is the meaning and advantage of “type safe”, “functional programming”, “no side-effects” in OCaml? That is really a problem in my mind all the time!