ml
Ml
mL
also mlml
ml
ML
ML
mL
ml
ml
or mLNoun | 1.![]() |
单词 | ml | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
释义 | mlMlmLalso mlmlmlMLMLmLmlmlor mL
mlwritten abbreviationMLmlMLML(robotics)ML(2)It began as the metalanguage for the Edinburgh LCF proofassistant. (LCF="Logic for Computable Functions") People soonnoticed that ML could be a useful general programming languageand stand-alone versions were implemented. Standard ML(SML) is a descendant of these (and related languages such asHope). The "metalanguage" aspect has long since disappeared from thelanguage itself (although there are some systems that stilluse it that way). The historical name is now so inappropriatethat asking what ML stands for is like asking what C orUnix 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 toproduce Standard ML and Lazy ML. ["A Metalanguage for Interactive Proof in LCF", M.J.C. Gordonet al, 5th POPL, ACM 1978]. ml(networking)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. mLmilliliter(mL) [mil´ĭ-le″ter]ml, mLmLMillilitermlMillilitermL, mlmlabbrev. millilitre, represented as cm3.mLmlMLMLML2. ISO 3166-1 alpha-2 code for the Republic of Mali. This is the code used in international transactions to and from Malian bank accounts. 3. ISO 3166-2 geocode for Mali. This is used as an international standard for shipping to Mali. Each Malian region has its own code with the prefix "ML" and a number following. For example, the code for the Region of Gao is ISO 3166-2:ML-7. The city of Bamako has its own lettered designation: ISO 3166-2:ML-BKO. mL
ml
Synonyms for ml
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
随便看 |
|
英语词典包含2567994条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。