Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Open
makarius opened this issue Aug 26, 2018 · 1 comment
Open

Comments

@makarius
Copy link

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
Copy link
Contributor

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants