Moscow ML

Moscow ML is a lightweight implementation of the Standard ML language as revised in 1997, supporting the full language core, modules, and many extensions while remaining backward compatible with earlier releases. It includes a substantial portion of the SML Basis Library, offers separate compilation, and can generate compact stand‑alone executables similar to Caml Light. The system provides quotations and anti‑quotations for metaprogramming and supports dynamic linking of external C functions on a wide range of platforms, including Linux (x86, ARM, Alpha), FreeBSD, NetBSD, Solaris, Digital Unix, HP‑UX, macOS, and Windows variants.

Typical users are developers and researchers who need a standards‑compliant Standard ML environment without the overhead of larger compilers, especially those working on cross‑platform projects or requiring integration with C code. Its distinctive features include the ability to produce small executables, extensive platform support for dynamic linking, and a rich set of library enhancements such as additional list, array, vector, and file‑system utilities. The current stable release, 2.10.1, adds minor clean‑ups, example extensions, and fixes to both the compiler and the Basis Library.