Well there is a language spec [1], it's just designed by the same people who develop the compiler. While there's only 1 de facto implementation (same as Rust, G

Well there is a language spec [1], it's just designed by the same people who develop the compiler. While there's only 1 de facto implementation (same as Rust, Go, etc.) there's multiple backends and lots of research work happens in different forks of the language. There's usually quite a bit of discussion and work that occurs between proposing a feature and integrating it into the language. There's also various competing forces here such as INRIA, Jane Street, OCamllabs, Reason developers, & other typical OCaml developers each with their own agenda. It's not so simple as the devs just adding something without any input. >For their React-like goal though, Ocaml's lack of anonymous record types is the absolute worst. The object system actually allows this to be fair & it does get a little bit of use in some Reason libraries targeting React developers I get that SML has advantages over OCaml but I don't really get what you're trying to argue for. Clearly if you like SML you'd prefer OCaml to JavaScript... [1] https://caml.inria.fr/pub/docs/manual-ocaml/language.html https://caml.inria.fr/pub/docs/manual-ocaml/language.html