standard ml

S s

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definition of standard ml words

noun Technical meaning of standard ml (language) (SML) Originally an attempt by Robin Milner <[email protected]> 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 <[email protected]>, and J. H. Reppy <[email protected]> at AT&T, and A. W. Appel <[email protected]>. 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. Version 0.93 runs on 68000, SPARC, MIPS, HPPA, RS/6000, Intel 386, Intel 486 and Macintosh. Mailing list: [email protected] 1

Just one definition for standard ml

Information block about the term

Parts of speech for Standard ml

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Standard ml

See also

All definitions of standard ml

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?