On Thu, 23 Aug 2012, Lawrence Paulson wrote:
I'd prefer to see no language extensions at all, except by agreement among the sml community as a whole.
This also raises the question how much active SML community is still there -- people doing some actual work in compiler implementation and maintenance. Too much activity in proposing new language features means an extra burden on the rare people who are still there to keep the implementations going.
David Matthews made huge steps forward in the past few years, without ever touching the SML'97 standard as such.
Makarius