blob: 16d81739b71ab0e6db726719c95b0bcdfe6cd517 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
This is Moscow ML, a version of Standard ML:
The current version 1.43 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'
WWW: http://www.dina.kvl.dk/~sestoft/mosml.html
This is a good version of the ml language if you have limited space.
If you have sufficient disk space to hold it all, the new smlnj port
is much more complete and is a better choice.
|
