Moscow ML

Latest news:
1 October 2013: Moscow ML 2.10 was released recently at http://mosml.org/. It complies better with the published SML Standard Library, should be easier to install on modern operating systems, and supports dynamic linking with C code on a wide range of platforms.
5 March 2008: Due to a change in GNU malloc, Moscow ML may crash on 64 bit architectures as well as on those 32 bit architectures that use glibc 2.7. As simple fix for this problem is to use this version of mosml/src/runtime/gc_ctrl.c, which prevents malloc() from using mmap().

Moscow ML 2.10

Moscow ML 2.01

• Version 2.01 for Unixes:
  • source files with documentation
  • an ArchLinux package.
  • a stand-alone toplevel (mosml) compiled for Linux, created by Peter Szabo, Budapest, Hungary.
• Version 2.01 for MS Windows 95/98/ME/NT/2000/XP. Unpack with JustZIPit (free) or Info-Zip (free) or Winzip (shareware):
  • executables with documentation
  • installation instructions
  • A very convenient self-extracting Moscow ML installer for Windows by Ken Friis Larsen.
• Version 2.00 .Net release 0.9.0 for Microsoft .Net:
  • executables and documentation.
  • readme and installation instructions.
  • Moscow ML .Net-specific documentation in PDF: Manual and some information about the internals.
  • Moscow ML .Net was created by Niels Kokholm.
• Mosmake, Henning Makholm's tool to generate Makefiles for recompilation management
• Previous releases of Moscow ML.

Moscow ML documentation

• Moscow ML Library Documentation online or as a tar file or zip file.
  Paper versions (171 pages): Postscript or Postscript 2-up (86 pages) or PDF or PDF 2-up (86 pages).
• Moscow ML Owner's Manual (35 pages) in Postscript or PDF.
• Moscow ML Language Overview (24 pages) in Postscript or PDF.
• Mac-specific documentation in Postscript or PDF.
• Moscow ML 2.00 release announcement.

Other on-line Standard ML resources

• The Standard ML Basis Library (2002 edition)
• The Standard ML Basis Library (1997 edition)
• The Frequently Asked Questions from comp.lang.ml
• Mads Tofte's Tips for Computer Scientists on Standard ML (Revised) in PDF. All of Standard ML in 20 pages!
• Robert Harper's Programming in Standard ML. Russian translation by Mikhail Kovtun of its predecessor Introduction to Standard ML, formatted for A4 paper (Postscript and PDF) or US Letter (Postscript and PDF).
• Stephen Gilmore's Programming in Standard ML'97
• Hansen and Rischel's Introduction to Programming Using SML
• Mads Tofte's Four Lectures on Standard ML
• Mads Tofte's Tutorial on Standard ML: Front page, body of the paper, and appendix.
• Andrew Cumming's A Gentle Introduction to ML
• Larry Paulson's Standard ML grammar (thanks to Richard Botting)
• The CMU Foxnet project - more on-line information about Standard ML
• ML Server Pages
• SML Tk, a Standard ML interface to Tcl/Tk
• mGTK: SML Bindings for GTK+
• mosmlgl: Open GL interface for Moscow ML
• SMLserver, safe and efficient SML web scripting on top of AOLserver

Other Standard ML implementations

• The Standard ML of New Jersey implementation
• The MLWorks implementation - no longer available from Harlequin Ltd.
• The SML.NET implementation from Cambridge University and Microsoft Research Cambridge
• The MLJ implementation at Edinburgh University (originally at Persimmon IT)
• Poly ML by Dave Matthews
• The MLton whole-program optimizing SML compiler
• The ML Kit project

Authors and credits

Moscow ML was created by Sergei Romanenko at the Keldysh Institute of Applied Mathematics, Russian Academy of Sciences, Moscow, Claudio Russo (then at Edinburgh University, now at Microsoft Research, Cambridge UK), Niels Kokholm at the IT University of Copenhagen (Moscow ML for .Net), Ken Friis Larsen at the IT University of Copenhagen, and Peter Sestoft at the Royal Veterinary and Agricultural University, Copenhagen, Denmark.

Moscow ML uses the entire runtime system and many other ideas from the Caml Light implementation created by Xavier Leroy and Damien Doligez.

Doug Currie created the MacOS port and considerably improved the bytecode interpreter.

Bugs and problems