I learned a lot from you, @nojb.
the main issue with industrial adoption of OCaml is … one of size.
I personally see a great business value in simple Algorithms for Decision Making. Moreover, The world is sparked by AI agents augmented with reasoning capabilities but modern dev workflows are not well-integrated with symbolic or logical modeling
I got attracted to OCaml, and no other ecosystem, because of its unique design philosophy, combining formal safety with pragmatic agile. That sweet spot should be convincing for investors.
Thinking as an economist, why don’t the OCaml community address the challenges not solved in any other ecosystem, and well-utilize OCaml’s competitive unique edge, to gain funding and scale-up?
Otherwise, Why would anyone invest in a new ecosystem?