ML (programming language)
ML (Meta Language) is a general-purpose functional programming language. It is known for its use of the polymorphic Hindley–Milner type system, which automatically assigns the types of most expressions without requiring explicit type annotations, and ensures type safety – there is a formal proof that a well-typed ML program does not cause runtime type errors. ML provides pattern matching for function arguments, garbage collection, imperative programming, call-by-value and currying. It is used heavily in programming language research and is one of the few languages to be completely specified and verified using formal semantics. Its types and pattern matching make it well-suited and commonly used to operate on other formal languages, such as in compiler writing, automated theorem proving, an
influenced
ATS (programming language)Alice (programming language)Bosque (programming language)C++C Sharp (programming language)CamlCeylon (programming language)Claire (programming language)ClojureCool (programming language)F Sharp (programming language)Haskell (programming language)Idris (programming language)Kotlin (programming language)Miranda (programming language)NemerleNickle (programming language)Orc (programming language)ParaSail (programming language)Pict (programming language)Standard MLUr (programming language)
influenced by
known for
Wikipage disambiguates
"Hello, World!" program?:ALGOLATS (programming language)Algebraic data typeAlias analysisAlice (programming language)Amiga programming languagesAnonymous functionApplicative programming languageArityAspect-oriented programmingAssignment (computer science)AsteriskAt signBinary treeBosque (programming language)C++CLU (programming language)C Sharp (programming language)C Sharp 3.0Callback (computer programming)CamlCategorical abstract machineCeylon (programming language)Claire (programming language)ClojureClosure (computer programming)Colon (punctuation)Comparison of parser generatorsComparison of programming languages (functional programming)Comparison of programming languages (syntax)Compiled languageConcurrent MLConditional (computer programming)ConsConstant (computer programming)Continuation-passing styleCool (programming language)Currying
Link from a Wikipage to another Wikipage
influenced
ATS (programming language)Alice (programming language)Bosque (programming language)C++CamlCeylon (programming language)Cool (programming language)F Sharp (programming language)Idris (programming language)Kotlin (programming language)Miranda (programming language)NemerleNickle (programming language)Orc (programming language)ParaSail (programming language)Pict (programming language)Standard MLUr (programming language)
influenced by
primaryTopic
ML (programming language)
ML (Meta Language) is a general-purpose functional programming language. It is known for its use of the polymorphic Hindley–Milner type system, which automatically assigns the types of most expressions without requiring explicit type annotations, and ensures type safety – there is a formal proof that a well-typed ML program does not cause runtime type errors. ML provides pattern matching for function arguments, garbage collection, imperative programming, call-by-value and currying. It is used heavily in programming language research and is one of the few languages to be completely specified and verified using formal semantics. Its types and pattern matching make it well-suited and commonly used to operate on other formal languages, such as in compiler writing, automated theorem proving, an
has abstract
ML (Meta Language) is a genera ...... ving, and formal verification.
@en
ML (Meta Language) — семейство ...... первый язык программирования).
@ru
ML (Meta Language) — сімейство ...... як перша мова програмування).
@uk
ML (contraction de Meta Langua ...... ation généraliste fonctionnel.
@fr
ML es un lenguaje de programac ...... colos de sincronización, etc.
@es
ML is een functionele programm ...... es tegelijk) en mogelijk zijn.
@nl
ML är ett allmänt funktionellt ...... till genom att lägga till den.
@sv
ML è un linguaggio di programm ...... enza bisogno di dichiarazioni.
@it
ML é uma linguagem de programa ...... agens funcionais como Haskell.
@pt
ML és un llenguatge de program ...... orisme d'inferència de tipus .
@ca
influenced
influenced by
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,026,107,952
Link from a Wikipage to another Wikipage
designer
Robin Milner and others at the University of Edinburgh
@en
influenced
influenced by
name
ML
@en
wikiPageUsesTemplate
wordnet_type
subject
hypernym
comment
ML (Meta Language) is a genera ...... automated theorem proving, an
@en
ML (Meta Language) — семейство ...... первый язык программирования).
@ru
ML (Meta Language) — сімейство ...... як перша мова програмування).
@uk
ML (contraction de Meta Langua ...... ation généraliste fonctionnel.
@fr
ML es un lenguaje de programac ...... ico sencillamente tipificado).
@es
ML is een functionele programm ...... es tegelijk) en mogelijk zijn.
@nl
ML är ett allmänt funktionellt ...... ML även för SML(Standard ML).
@sv
ML è un linguaggio di programm ...... enza bisogno di dichiarazioni.
@it
ML é uma linguagem de programa ...... agens funcionais como Haskell.
@pt
ML és un llenguatge de program ...... orisme d'inferència de tipus .
@ca
label
ML (Programmiersprache)
@de
ML (langage)
@fr
ML (lenguaje de programación)
@es
ML (linguagem de programação)
@pt
ML (linguaggio di programmazione)
@it
ML (programlingvo)
@eo
ML (programmeertaal)
@nl
ML (programming language)
@en
ML (programspråk)
@sv
ML (γλώσσα προγραμματισμού)
@el
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
ML
@en