blob: 66941e6436932d367de1056f71c765dbc795bdf3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
This is Moscow ML, a lightweight implementation of Standard ML:
The current version (v2.01) of Moscow ML
* implements Standard ML, as revised 1997 (value polymorphism,
default overloading resolution, new types)
* implements most of the new Standard ML Basis Library, including
the most common input/output facilities in TextIO and BinIO.
* implements separate compilation
* can produce compact stand-alone executables (a la Caml Light)
* supports quotations and antiquotations, useful for metaprogramming
* includes several new libraries
* includes several new libraries (sockets, regex, unix)
* offers an easy-to-use foreign-function interface
WWW: http://www.itu.dk/~sestoft/mosml.html
|
