Did you know? GNU+Linux Kernel developers rule on OCaml as part of their development workflows: https://www.kernel.org/doc/html/v4.15/dev-tools/coccinelle.html