From: Matthias B. <bl...@re...> - 2001-09-25 14:09:52
|
Robin Milner wrote: > > We are authors of Standard ML, both 1990 and 1997; we also wrote > the Commentary. > > We welcome standardisation of matters not covered by the > Definition of Standard ML, such as libraries and separate compilation. > > We also welcome language designs built on Standard ML; they may > proclaim membership of the ML family, as for example CAML does. > > However, we will not accept further revision of Standard ML. It > is natural that people discuss changes and new features, and thus > that successors of the language will arise. We expect, however, > the designers of any successor language to make it clear that > their language is not Standard ML. > > With regards > Robin Milner, Mads Tofte Well, that settles that. Sounds like "Standard ML" is soon to be officially dead. Ideas for a new name, anyone? Matthias |