From: Robin M. <Rob...@cl...> - 2001-09-25 12:22:12
|
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 |