Successor-ML

by SMLFamily

SMLFamily / Successor-ML

A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

139 Stars 7 Forks Last release: Not found 32 Commits 0 Releases

Available items

No Items, yet!

The developer of this repository has not created any items for sale yet. Need a bug fixed? Help with integration? A different license? Create a request here:

Successor ML

Successor ML is an effort to evolve the Standard ML language while keeping true to its clean and elegant design.

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

Note that this repository used to be called

Proposed-Definition-of-Successor-ML
, but it has been renamed to
Successor-ML
. Github will automatically redirect the old URL, but you can also updating any existing local clones using the command:
sh
$ git remote set-url origin https://github.com/SMLFamily/Successor-ML.git

Definition

The LaTeX sources for The Definition of Successor ML can be found in the

definition
directory.

Design proposals

Coming soon

Implementation efforts

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

  • The most complete is Andreas Rossberg's HaMLet S implementation, which implements all of the features described in the The Definition of Successor ML (and more).

  • The MLton implementation of Standard ML is working on supporting Successor ML features. See [http://mlton.org/SuccessorML] for details.

  • The Standard ML of New Jersey implementation of Standard ML is also working on supporting Successor ML features (as of Version 110.79).

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.