See https://ocaml.org/industrial-users https://ocaml.org/industrial-users Current industry uses are largely in specialist areas including compiler engineering,

See https://ocaml.org/industrial-users https://ocaml.org/industrial-users Current industry uses are largely in specialist areas including compiler engineering, static analyses, formal verification systems, and systems programming in critical domains.