OCaml is very popular in academia though, especially in the field of theoretical... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

AnaniasAnanas on June 29, 2019 | parent | context | favorite | on: SKS Keyserver Network Under Attack

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 on June 29, 2019 | [–]

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

ghuntley on June 29, 2019 | | [–]

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

literallycancer on June 29, 2019 | | [–]

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

paulddraper on June 30, 2019 | [–]

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

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact