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!
Cheers,
Yiming