blob: 7dc5cc3c9c13cdf7e52f275e4c333046ff4c0c92 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
This is Moscow ML, a lightweight implementation of Standard ML:
The current version of Moscow ML
* implements the full Standard ML language, as revised 1997,
including Modules and some extensions
* yet is backwards compatible with versions prior to 2.00
* implements large parts of the new SML Basis Library
* implements separate compilation
* can produce compact stand-alone executables (a la Caml Light)
* supports quotations and antiquotations, useful for metaprogramming
* supports dynamic linking of external functions
|