2002-05-30 12:47:57 +02:00
|
|
|
This is Moscow ML, a lightweight implementation of Standard ML:
|
1996-07-28 04:44:11 +02:00
|
|
|
|
2005-02-26 07:41:44 +01:00
|
|
|
The current version (v2.01) of Moscow ML
|
|
|
|
|
* implements Standard ML, as revised 1997 (value polymorphism,
|
2002-05-30 12:47:57 +02:00
|
|
|
default overloading resolution, new types)
|
2005-02-26 07:41:44 +01:00
|
|
|
* implements most of the new Standard ML Basis Library, including
|
2002-05-30 12:47:57 +02:00
|
|
|
the most common input/output facilities in TextIO and BinIO.
|
|
|
|
|
* implements separate compilation
|
1996-07-28 04:44:11 +02:00
|
|
|
* can produce compact stand-alone executables (a la Caml Light)
|
|
|
|
|
* supports quotations and antiquotations, useful for metaprogramming
|
2002-05-30 12:47:57 +02:00
|
|
|
* includes several new libraries
|
2005-02-26 07:41:44 +01:00
|
|
|
* includes several new libraries (sockets, regex, unix)
|
|
|
|
|
* offers an easy-to-use foreign-function interface
|
1996-07-28 04:44:11 +02:00
|
|
|
|
1999-05-03 08:13:27 +02:00
|
|
|
WWW: http://www.dina.kvl.dk/~sestoft/mosml.html
|
