Need help with Successor-ML?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

166 Stars 9 Forks 32 Commits 43 Opened issues


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

Services available


Need anything else?

Contributors list

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

, but it has been renamed to
. Github will automatically redirect the old URL, but you can also updating any existing local clones using the command:
$ git remote set-url origin


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


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 [] 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.