[TYPES/announce] new sml-family.org web site

[David MacQueen]

We are happy to announce the public availability of the web site sml-family.org, which represents the entire family of languages and compilers derived from Standard ML. This new site supersedes the former standardml.org, and the standardml.org URL now redirects to sml-family.org.

The web page includes links to all extant compilers, which are all freely available for download. It also provides downloadable copies of "The Definition of Standard ML" (SML '90) and "The Definition of Standard ML (Revised)" (SML '97), with links to GitHub repositories containing the sources for the Definitions as well as other formulations of the semantics of Standard ML. There is a link to the documentation for the Standard ML Basis Library, and to critiques and commentaries on the definitions or the design of Standard ML. Anyone is free to clone a repository branch and make alterations or corrections and submit them for merger into the main branch.

Other useful resources provided include a link to the Smackage repository for Standard ML source code, and a sub-site devoted to the history of ML and Standard ML.

The goal of sml-family.org is to consolidate the independent efforts over the last 25 years on the language and its extensions, and to encourage an open-source approach to the evolution of the language. It is our intention to maintain the web site with up-to-date releases of variations and extensions to the language and its implementations.

Bob Harper
David MacQueen
Lars Bergstrom