Linux Software Map: Moscow ML


  • Version: 2.00 of June 2000
  • Entered-date: 2000-08-03
  • Description: A light-weight implementation of full Standard ML'97, including Modules and some extensions. Standard ML is a strict functional language used in teaching and research. Moscow ML is based on the Caml Light system, with fast compilation and modest storage consumption. Version 2.00 implements the full SML Modules language (structures, signatures, and functors), and several
  • language: extensions to the SML Modules language: higher-order functors, first-class modules, and recursive modules. Yet it faithfully implements the SML Modules language as a sublanguage, and remain backwards compatible with previous releases. It provides installable prettyprinters, implements large parts of the new SML Basis Library, can produce compact stand-alone executables, supports quotations and antiquotations. It provides dynamic linking with C libraries. Interfaces to PostgreSQL, MySQL, regex, Boutell's GD image library (PNG), GNU gdbm, sockets, and Unix processes, are included. The package includes extensive documentation (in PDF) of the language, the interactive system and the batch compiler, and the libraries.
  • ftp://ftp.dina.kvl.dk/pub/mosml/
  • ftp://ftp.dina.kvl.dk/pub/mosml//linux-mos20bin.tar.gz (2068kB)
  • ftp://ftp.dina.kvl.dk/pub/mosml//mos20src.tar.gz (2265kB)
  • Keywords: Standard ML SML Basis Library functional language implementation, bytecode interpreter
  • Author: roman@keldysh.ru (Sergei Romanenko) Claudio.Russo@cl.cam.ac.uk (Claudio Russo) sestoft@dina.kvl.dk (Peter Sestoft) Based on the CAML Light system by Xavier.Leroy@inria.fr (Xavier) Damien.Doligez@inria.fr (Damien Doligez) with contributions from Doug Currie (e@flavors.com)
  • Maintained-by: roman@keldysh.ru (Sergei Romanenko) sestoft@dina.kvl.dk (Peter Sestoft)
  • ftp://ftp.csd.uu.se/pub/mirror/mosml
  • Copying-policy: GPL; but more restrictive INRIA copyright on runtime sources.
Note: Not all entries contain correct, complete filenames or URLs. FTP sites often refuse connections due to excessive traffic. If you have difficulty with the provided links to individual files, try the first link, which is usually to a directory or web site for the program as a whole.
Up to Linux Software Map