<issue_start><issue_comment>Title: Add OCaml language
username_0: [OCaml](https://ocaml.org/) is a general-purpose, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features.
<issue_comment>username_0: Programming-Idioms is intended to host code in the most widely used languages, not in all the existing languages.
A new entry is possible only after a lot of users have requested it and are willing to contribute quality contents. Please add a comment to this page if you feel this language should be added.
<issue_comment>username_0: A peculiarity of Programming-Idioms is that it does not offer multiple language flavors, dialects, or versions.

[Caml](https://programming-idioms.org/cheatsheet/Caml) is already supported.

Can idiomatic Caml be regarded as idiomatic OCaml, and vice versa?