Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
ML (programming language)
English Wikipedia - The Free Encyclopedia
Download this dictionary
ML (programming language)
ML
is a general-purpose
functional programming language
developed by
Robin Milner
and others in the early 1970s at the
University of Edinburgh
, whose syntax is inspired by
ISWIM
. Historically, ML stands for
metalanguage
: it was conceived to develop proof tactics in the
LCF theorem prover
(whose language,
pplambda
, a combination of the
first-order predicate calculus
and the simply typed
polymorphic
lambda calculus
, had ML as its metalanguage). It is known for its use of the
Hindley–Milner type inference algorithm
, which can automatically infer the
types
of most
expressions
without requiring explicit type annotations. Additionally, the use of this algorithm ensures type safety—there is a formal proof that a well-typed ML program does not cause runtime type errors.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License