Next priority for OCaml?

I am, and I think I’m familiar with the arguments against it, although I’m not entirely in agreement with them. (Note: there is an open pull request to update the RFC that has been stale since 2020, which just makes me sad.)

I think the proposal in the RFC is better than doing nothing, but I suspect that better than that is possible if people with a better mind for theory than I have were to approach the problem systematically.

But this thread isn’t about proposing a theory, it’s about discussing the alternatives for next priorities, and my opinion is that this is the one I most want to be taken up.

1 Like