Repository files navigation

Successor ML is an effort toevolve the Standard ML language while keeping trueto its clean and elegant design.

A related effort is the evolution of theStandard ML Basis Library.

Note that this repository used to be calledProposed-Definition-of-Successor-ML, butit has been renamed toSuccessor-ML. Github will automatically redirect the old URL,but you can also updating any existing local clones using the command:

$ git remote set-url origin https://github.com/SMLFamily/Successor-ML.git

The LaTeX sources forThe Definition of Successor ML can be found in thedefinition directory.

Coming soon

At this time, there are three implementation efforts to support Successor ML.

• The most complete is Andreas Rossberg'sHaMLet Simplementation, which implements all of the features described in theThe Definition of Successor ML (and more).

• TheMLton implementation of Standard ML is working on supportingSuccessor ML features. See [http://mlton.org/SuccessorML] for details.

• TheStandard ML of New Jersey implementation of Standard MLis also working on supporting Successor ML features(as ofVersion 110.79).