[AnaniasAnanas]

OCaml is very popular in academia though, especially in the field of theoretical computer science and formal verification. Coq, Frama-C, Flow, CompCert, etc are all written in OCaml. Heck, if you are running a graphical GNU distribution chances are that you have installed FFTW, which is written in OCaml. The "industry" is not the only thing that matters when considering the adoption of a language.

[xvilka]

Also a Mirage OS/unikernel, BAP and BinCat binary analysis frameworks, Facebook Infer source-level static analyzer, etc.

[ghuntley]

Reason (the frontend framework/language by Facebook) is OCaml.

[literallycancer]

Have you used Reason for anything serious? How was it?

[paulddraper]

Particularly if your talking about a quasi-adademic PGP community.