3 ms·
In this comparison, "purer" more often than not means that the choice simplified the formalization of SML. And for the context, many people from the OCaml side
by octachron 4y ago
In this comparison, "purer" more often than not means that the choice simplified the formalization of SML.
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.