I thought the following discussion by Eric Normand on programming language choice tradeoffs was useful. Not anything earth-shattering, but the way Normand put things seems potentially handy for responding to the OCaml-curious and/or -sceptical, especially given his example of strong typing (in Haskell, but the points apply to OCaml, too), and even though his LoC (language of choice) is Clojure.
It’s a video with a transcript below it, so you can pick your preferred sequential information-transfer medium:
https://lispcast.com/why-do-programmers-put-up-with-so-much-pain/