This is file README for Moscow ML 2.00 for Linux/Unix (June 2000)
- The full SML Modules language (structures, signatures, and functors)
is now supported, thanks to Claudio Russo. Also, several extensions
to the SML Modules language are provided:
- higher-order functors: functors may be defined within structures
and functors
- first-class modules: structures and functors may be packed and
then handled as Core language values, which may then be unpacked
as structures or functors again
- recursive modules: signatures and structures may be recursively
defined
- Value polymorphism has become friendlier: non-generalizable free
type variables are left free, and become instantiated (once only)
when the bound variable is used
- Added facilities for creating and communicating with subprocesses
(structure Unix and Signal from SML Basis Library).
- Added facilities for efficient functional generation of HTML code
(structure Msp); also supports the writing of ML Server Page
scripts.
- Added facilities setting and accessing `cookies' in CGI scripts
(structure Mosmlcookie), thanks to Hans Molin, Uppsala, Sweden.
- The Gdimage structure now produces PNG images (using Thomas
Boutell's gd library).
* Access to GNU gdbm persistent hashtables (structures Gdbm, Polygdbm)
* Interface to the PostgreSQL database server (structure Postgres)
* Interface to the MySQL database server (structure Mysql)
* Interface to POSIX 1003.2 regular expressions (structure Regex)
* Interface to sockets (structure Socket)
* Faster bytecode execution (when compiled with GCC or egcs)
* Registration of ML and C functions simplify callbacks
Apparently the NetBSD patches were also pulled up.
Since the distfile on the original site was updated without
version indication, this also fixes kern/9783.
some refining by myself.
New in version 1.43 of Moscow ML:
* Arrays of weak pointers (structure Weak).
* Dynamic linking of external functions under Linux and Solaris
* Access to GNU gdbm persistent hashtables (structures Gdbm, Polygdbm)
* The load paths can be set from the interactive system.
* The interactive system's prompts and responses can be turned off
(option -quietdec, variable Meta.quietdec).
* Prettyprinters can be installed also on base types and abstract types.
* Mosmllex now supports abbreviations for regular expressions.
into the NetBSD packages collection.
This is from Johnny C. Lam, in PR pkg/5002.
Minor fixes by me to the PLIST file for the location of two files
(libexec not lib).
