Comment by nextos

It does have a lively ecosystem in some niches. Formal verification is one of them.

For example, https://opam.ocaml.org/packages/why3 is a little marvel of engineering.