&gt; an SSL stack written in such a language is infinitely less likely to suffer from some of the worst kinds of bugs in recent memory (Heartbleed comes to mind)<p>While you are right about OCaml being safer than C, Heartbleed was a pretty lame bug, it doesn&#x27;t even give an attacker remote code execution. Something like CVE-2014-0195 is far more dangerous than Heartbleed but it didn&#x27;t have a marketing name and large amounts of press coverage.