|
1 | | -The Definition ofSuccessor ML |
2 | | -========== |
| 1 | +Successor ML |
| 2 | +============ |
3 | 3 |
|
4 | | -These sources are derived from the 1997 version of the**Definition of Standard ML** |
5 | | -by integrating the changes documented in the[HaMLet 1.3.1S documentation](http://www.mpi-sws.org/~rossberg/hamlet/hamlet-succ-1.3.1S5.pdf). |
6 | | -See Appendix F in the document for a detailed list of the changes. |
| 4 | +Successor ML is an effort to*evolve* the Standard ML language while keeping true |
| 5 | +to its clean and elegant design. |
7 | 6 |
|
8 | | -To build a PDF, perform the following steps in a terminal window: |
9 | | -``` |
10 | | -latexmk -pdf root |
11 | | -``` |
| 7 | +A related effort is the evolution of the |
| 8 | +[**Standard ML Basis Library**](https://github.com/SMLFamily/BasisLibrary). |
12 | 9 |
|
13 | | -The file root.pdf will be produced. |
| 10 | +== Definition |
14 | 11 |
|
15 | | -##Obtaining a printed copy of the Definition of Standard ML (Revised) |
| 12 | +The LaTeX sources for**The Definition of Successor ML** can be found in the |
| 13 | +`definition` directory. |
16 | 14 |
|
17 | | -MIT Press has graciously allowed the Defintion of Standard ML to be |
18 | | -released in electronic form. If you would like a printed copy of the |
19 | | -original work, please purchase one from their site: |
| 15 | +== Design proposals |
20 | 16 |
|
21 | | -><http://mitpress.mit.edu/books/definition-standard-ml> |
| 17 | +== Implementation efforts |
22 | 18 |
|
23 | | -##License |
| 19 | +At this time, there are three implementation efforts to support Successor ML. |
24 | 20 |
|
25 | | -This work is licensed under the[Creative Comments |
26 | | -Attribution-NonCommercial-ShareAlike 3.0 |
27 | | -Unported](http://creativecommons.org/licenses/by-nc-sa/3.0/) license. |
| 21 | ++ The most complete is Andreas Rossberg's[**HaMLet S**](https://www.mpi-sws.org/~rossberg/hamlet/) |
| 22 | + implementation, which implements all of the features described in the |
| 23 | +**The Definition of Successor ML** (and more). |
| 24 | + |
| 25 | ++ The[**MLton**](https://mlton.org) implementation of Standard ML is implementing |
| 26 | + Successor ML features. See[http://mlton.org/SuccessorML] for details. |
| 27 | + |
| 28 | ++ The[**Standard ML of New Jersey**](https://smlnj.org) implementation of Standard ML |
| 29 | + is also implementing Successor ML features |
| 30 | + (as of[Version 110.79](http://smlnj.org/dist/working/110.79/110.79-README.html)). |