ML


Also found in: Dictionary, Thesaurus, Medical, Financial, Acronyms, Wikipedia.

ml

(mechanics)
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.

ML

On drawings, abbr. for “material list.”
McGraw-Hill Dictionary of Architecture and Construction. Copyright © 2003 by McGraw-Hill Companies, Inc.

ML

(robotics)
Manipulator Language. IBM language for handling robots.

ML

(2)
Meta Language. R. Milner <rm@lfcs.edinburgh.ac.uk> et al, 1973. A strict higher-order functional language. It was the first language to include polymorphic typing which was statically-checked. It also had garbage collection and a formal semantics.

It began as the metalanguage for the Edinburgh LCF proof assistant. (LCF="Logic for Computable Functions") People soon noticed that ML could be a useful general programming language and stand-alone versions were implemented. Standard ML (SML) is a descendant of these (and related languages such as Hope).

The "metalanguage" aspect has long since disappeared from the language itself (although there are some systems that still use it that way). The historical name is now so inappropriate that asking what ML stands for is like asking what C or Unix stands for. It doesn't stand for anything; it just is.

LCF ML was implemented in Stanford LISP. Cardelli (1981) implemented ML in Pascal using the Functional Abstract Machine (FAM). It has been significantly redesigned to produce Standard ML and Lazy ML.

["A Metalanguage for Interactive Proof in LCF", M.J.C. Gordon et al, 5th POPL, ACM 1978].

ml

(networking)
The country code for Mali.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

ML

(1) See machine learning.

(2) (MultiLevel) See multilevel optical disc.

(3) (MetaLanguage) A functional programming language developed by Robin Milner in the 1970s at the University of Edinburgh, Scotland. Although similar to LISP, ML's commands and structures are like Pascal. Standard ML, OCaml and F# are ML languages.
Copyright © 1981-2019 by The Computer Language Company Inc. All Rights reserved. THIS DEFINITION IS FOR PERSONAL USE ONLY. All other reproduction is strictly prohibited without permission from the publisher.