See 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.
Current industry uses are largely in specialist areas including compiler engineering, static analyses, formal verification systems, and systems programming in critical domains.
No comments yet.