search

SMLFamily / SMLFamily.github.io

Web site for standardml.org.
36 stars 6 forks source link

"Implementations ... of Standard ML" desparately needs some updating #6

Open makarius opened 6 years ago

makarius commented 6 years ago

The important list of "Implementations ... of Standard ML" speaks in terms of "now" from approx. 10-15 years ago, e.g. for Moscow ML "Version 2.0, now implements SML '97" or Poly/ML "Version 4 implements SML '97". Thus potential users get the impression of Standard ML as a historic footnote of no practical relevance today, despite lots of activity in some (very few) SML implementations.

Apart from updating the short descriptions (e.g. according to https://www.polyml.org or https://stackoverflow.com/tags/polyml/info), it would be also great to reorder the list roughly according to activity of continued development. In particular Mlton and Poly/ML would move further upwards.

RobertHarper commented 6 years ago

it's a valid point. sml '97 refers to the revision of the definition, of course.