The first argument made in favor OCaml is very similar to Paul Graham's Beating the average (http://www.paulgraham.com/avg.html), if anyone wants to read more about that kind of reasoning.