Standard ml



language
(SML) Originally an attempt by Robin Milner rm@lfcs.edinburgh.ac.uk ca. 1984 to unify the dialects of ML, SML has evolved into a robust general-purpose language. Later versions have been maintained by D. B. MacQueen, Lal George , and J. H. Reppy jhr@research.att.com at AT&T, and A. W. Appel appel@princeton.edu.
SML is functional, with imperative programming features. It is environment based and strict. It adds to ML the call-by-pattern of Hope, recursive data types, reference types, typed exceptions, and modules. (The “core” language excludes the modules).
Standard ML is polymorphically typed and its module system supports flexible yet secure large-scale programming. Standard ML of New Jersey is an optimising native-code compiler for Standard ML that is written in Standard ML. It runs on a wide range of architectures. The distribution also contains: an extensive library – The Standard ML of New Jersey Library, including detailed documentation; Concurrent ML (CML); eXene – an elegant interface to X11 (based on CML); SourceGroup – a separate compilation and “make” facility.
Implementations: SML/NJ, POPLOG ML, Poly/ML, Edinburgh SML, ANU ML, Micro ML, lazy sml2c.
sml2c compiles to C. See also ML Kit.
Version 0.93 runs on 68000, SPARC, MIPS, HPPA, RS/6000, Intel 386, Intel 486 and Macintosh.
Manual (http://dcs.napier.ac.uk/course-notes/sml/manual.html).
FTP from ATT (ftp://research.att.com/dist/ml/). FTP from Suny SB (ftp://sbcs.sunysb.edu/).
Mailing list: sml-request@cs.cmu.edu.
[“A Proposal for Standard ML”, R. Milner, ACM Symp on LISP and Functional Prog 1984, pp. 184-197].
(1995-12-24)

Tagged:

Read Also:

  • Standard ml of new jersey

    (SML/NJ) An implementation of SML by Andrew Appel at Princeton and Dave MacQueen at AT&T. Version 0.93. [“Standard ML of New Jersey”, A. Appel et al, “Proc Third Intl Symp on Prog Lang Impl and Logic Programming”, LNCS Springer 1991]. Versions for Unix, Mac. (ftp://cs.yale.edu/pub/ml), (ftp://research.att.com/dist/ml). Mailing list: sml@cs.cmu.edu.

  • Standard-model

    noun, Physics. 1. a mathematical description of the elementary particles of matter and the fundamental forces by which they interact and behave; a model combining electromagnetic and weak forces. standard model noun 1. (physics) a theory of fundamental interactions in which the electromagnetic, weak, and strong interactions are described in terms of the exchange of […]



  • Standard-money

    noun 1. money made of a metal that has utility and value apart from its use as a unit of monetary exchange.

  • Standard nine

    noun See stanine



Disclaimer: Standard ml definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.