Website | Download | Docs | Samples

Last update 02-June-06 (SML.NET 1.2 build 1613)

From the website:


Support for all of Standard ML: SML.NET compiles all of SML '97 (with some very minor discrepancies).

Support for the Basis library: Almost all of the Standard ML Basis Library is implemented.

Seamless interoperability with other languages: SML.NET extends the SML language to support safe, convenient use of the .NET Framework libraries and code written in other languages for the CLR, such as C# or VB. SML.NET can both consume and produce .NET classes, interfaces, delegates etc.

Command-line compilation: SML.NET supports traditional compilation from the command-line.

Interactive compilation environment: Alternatively, you can control the compiler from an interactive environment. This lets you set and query options incrementally and to see the signatures of compiled and imported SML.NET modules.

Automatic dependency analysis: In either mode of compilation, the compiler requires only the names of root modules and a place to look for source code. It then does dependency analysis to determine which files are required and which need recompilation.

Produces verifiable CLR IL: The output of the compiler is verifiable MSIL (Microsoft Intermediate Language) for the CLR.

Whole program optimization: SML.NET performs optimizations on a whole program (or library) at once. It usually produces small executables with fairly good performance.

Integration with Visual Studio .NET: A binary distribution includes an experimental package for Microsoft Visual Studio .NET 2002, 2003 and & 2005 that allows you to edit, build and debug SML.NET projects from within the development environment.


No interactive evaluation: The interactive environment is for compilation of stand-alone applications or libraries only. SML expressions can not be evaluated interactively and the use command is not available. For programs that make no use of the language extensions it is possible to develop and test them using a compiler such as Moscow ML or Standard ML of New Jersey and then to use SML.NET to produce final executables.

Whole program optimization: Top-level SML modules are not compiled individually to .NET object code. Instead, some compilation takes place on separate modules (type checking, translation to the compiler's own intermediate form, and some optimizations) but most is deferred until after the linking together of top-level modules. This improves performance of the generated code, but significantly increases (re)compilation times.

Only CLR types at boundaries of compiled code: The exposed interfaces of applications or DLLs compiled by SML.NET may only refer to CLR types (classes, interfaces, delegates, etc.). They may not expose SML-specific types (functions, datatypes, records, etc.). In particular, this restriction means that one cannot compile an arbitrary SML module into a DLL for consumption even by other SML.NET programs: the module must be either linked into the client program at compile-time or use only CLR types at its interface.

Tags: language   clr   functional  

Last modified 02 June 2021