&gt;&gt; that can be easily replaced with similar constructs<p>&gt; Mind giving an example?<p>You can use, for example, elaborate if-else constructs that firstly try to
determine type of the value, then check for values.<p>I&#x27;ve never seen in imperative languages anything similar to conditional that
checks both type and content of an expression, and allows to capture parts of
that expression into variables. Well, except for precisely the pattern
matching construct, where it was implemented deliberately after functional and
declarative languages (Rust).<p>&gt;&gt; Using a not very popular programming language can actually make it harder for you to hire people.<p>&gt; Do you really want to work with people who can&#x27;t learn a tiny little language?<p>I see things a little differently. It&#x27;s extremely difficult to find an idiot
who can write OCaml, while it&#x27;s fairly easy for C++, Java, or C#.<p>Also, allowing people to learn OCaml and <i>use it every day</i> on the job is
a big plus for a company. It&#x27;s way better than free sandwitches for breakfast
in the long run.