Interestingly in syntax OCaml is considered purer only once for its choice of not using overloaded operators.
And for the context, many people from the OCaml side considers that the SML formalization has been for a good part responsible for the freezing of SML since 1997.