13 lines
566 B
Text
13 lines
566 B
Text
|
This is Moscow ML, a version of Standard ML:
|
||
|
|
|
||
|
|
The current version 1.42 of Moscow ML
|
||
|
|
|
||
|
|
* implements the Core language of Standard ML, as revised 1996
|
||
|
|
* implements large parts of the new SML Basis Library
|
||
|
|
* implements separate compilation and a limited version of the
|
||
|
|
Standard ML Modules language, with signatures and structures
|
||
|
|
but no functors
|
||
|
|
* can produce compact stand-alone executables (a la Caml Light)
|
||
|
|
* supports quotations and antiquotations, useful for metaprogramming
|
||
|
|
* includes several new libraries and a new type `char'
|