I know a few programs written in OCaml such as weidu.

OCaml is a very strange programming language. I don't think it will be able to sustain e. g. success stories of other languages, such as python.