3 ms·

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

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.

ghuntley 7y ago
Reason (the frontend framework/language by Facebook) is OCaml.
- literallycancer 7y ago
  Have you used Reason for anything serious? How was it?
xvilka 7y ago
Also a Mirage OS/unikernel, BAP and BinCat binary analysis frameworks, Facebook Infer source-level static analyzer, etc.
paulddraper 7y ago
Particularly if your talking about a quasi-adademic PGP community.