Standard ML of New Jersey
Standard ML of New Jersey (abbreviated SML/NJ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation. SML/NJ is free, open source software.
Support for 64-bit architectures
We have been working on porting SML/NJ to run on 64-bit architectures (specifically the amd64 or x86-64) since version 110.81. This project was a major undertaking because of significant technical debt in the compiler. As of September 2019, we can generate 64-bit machine code for the system and we are in the process of debugging the generated code. We hope to have a version suitable for beta testing later this month or, at the latest, in early October.
DownloadsThe latest release is 110.93; we believe that this version is stable, but there have been a lot of low-level changes that might have introduced bugs, so if you have any problems with the system you should report them and then revert to 110.87. Previous versions are also available through our release history page. A history of the changes to the system is also available.
Subversion accessOur master source repository is kept on a FusionForge server (a successor to GForge) under Subversion control. We provide anonymous read-only access to the repository, so anyone can download a snapshot of the most recent sources at any time. Instructions are here.
- [09/05/19] Version 110.93 is released. See the README for details.
- [08/10/19] Version 110.92 is released. See the README for details.
- [06/20/19] Version 110.91 is released. See the README for details.
- [06/12/19] Version 110.90 is released. This release completes the switch over to 64-bit file positions by adding support for Windows (which was missing in 110.89). See the README for details.
- [06/01/19] Version 110.89 is released. This release is not completely stable, so we recommend sticking with 110.87 for production work. Also, this version does not support Windows. See the README for details.
- [05/15/19] Version 110.88 is released. This release is not completely stable, so we recommend sticking with 110.87 for production work. See the README for details.
- [05/03/19] Version 110.87 is released. See the README for details.
Note that Version 110.86 was released on May 2, but was not announced, since it was just a stepping stone to get to the 110.87 release.
- [12/21/18] Version 110.85 is released. See the README for details.
- [09/03/18] Version 110.84 is released. See the README for details.
- [06/01/18] Version 110.83 is released. See the README for details.
- Older news
- Information on downloading and installing the SML/NJ system and related software.
- A signed installer for macOS is available (smlnj-x86-110.93.pkg).
- A Windows msi installer for Windows 7+ is available (smlnj-110.93.msi).
Documentation and Literature
- SML/NJ User's Guide
- SML'97 Basis Library
- SML/NJ FAQ (Frequently Asked Questions)
- SML'97 Conversion Guide
- Top Level Environment Comparison
- Special features of SML/NJ
- Compilation Manager (CM)
- ML Language Processing Tools (ml-ulex and ml-antl)
- Concurrent ML
- SML/NJ-C foreign function interface
- Compiler notes
- Bugs can be reported online using our PHP bug form.
- You can also submit bug reports by email to using the bug report form.
- A legacy record of known bugs and the bug history for SML/NJ are available via the bugs web page.
- Recent submissions should appear in the GForge tracker .
- Pointers to programming resources (libraries, tools, example code), projects using SML/NJ, other SML implementations, related compiler research work, and miscellaneous SML links. The programming resources links will soon move to a separate page of their own.
- Picture of current cast of people involved in the project.
This project is based upon work supported in part by the National Science Foundation under Grant No. CNS-0454136.
Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation (NSF).
Send comments to
Copyright © 2004-2019, SML/NJ Fellowship.