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. It has roots in the LISP language, and has been characterized as "LISP with types". 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 system, whose type inference algorithm can automatically assign the types of most expressions without requiring explicit type annotations. Additionally, the use of this algorithm ensures type safety—there is a formal p
ATS (programming language)Alice (programming language)BitCCamlCeylon (programming language)Claire (programming language)Cool (programming language)F Sharp (programming language)Idris (programming language)Miranda (programming language)NemerleNickle (programming language)Orc (programming language)Ur (programming language)
influenced by
known for
Wikipage disambiguates
primaryTopic
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. It has roots in the LISP language, and has been characterized as "LISP with types". 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 system, whose type inference algorithm can automatically assign the types of most expressions without requiring explicit type annotations. Additionally, the use of this algorithm ensures type safety—there is a formal p
has abstract
ML (Meta Language) — семейство ...... первый язык программирования).
@ru
ML (contraction de Meta Langua ...... ation généraliste fonctionnel.
@fr
ML es un lenguaje de programac ...... ocolos de sincronización, etc.
@es
ML is a general-purpose functi ...... not cause runtime type errors.
@en
ML is een functionele programm ...... int programming mogelijk zijn.
@nl
ML è un linguaggio di programm ...... ica, analisi finanziarie, ecc.
@it
ML é uma linguagem de programa ...... agens funcionais como Haskell.
@pt
ML是一个通用的函數式編程语言,它是由爱丁堡大学的Robin ...... ,金融系统,和宗谱数据库,一个P2P的客户/服务器程序等等。
@zh
ML(えむえる、Meta-Language)は、関数型言語の ...... 型を持つなど、いわゆる「純粋関数型」でない特徴や機能を持つ。
@ja
Meta Language (ML) beschreibt ...... re Programmiersprache gelehrt.
@de
designer
influenced
influenced by
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
737,478,929
dialects
subject
comment
ML (Meta Language) — семейство ...... первый язык программирования).
@ru
ML (contraction de Meta Langua ...... ation généraliste fonctionnel.
@fr
ML es un lenguaje de programac ...... ico sencillamente tipificado).
@es
ML is a general-purpose functi ...... ype safety—there is a formal p
@en
ML is een functionele programm ...... is in ML (net zoals in Lisp).
@nl
ML è un linguaggio di programm ...... enza bisogno di dichiarazioni.
@it
ML é uma linguagem de programa ...... agens funcionais como Haskell.
@pt
ML是一个通用的函數式編程语言,它是由爱丁堡大学的Robin ...... 的语言,例如Haskell,Cyclone和Nemerle。
@zh
ML(えむえる、Meta-Language)は、関数型言語の ...... 型を持つなど、いわゆる「純粋関数型」でない特徴や機能を持つ。
@ja
Meta Language (ML) beschreibt ...... spielsweise für Dateizugriffe.
@de
label
ML (Programmiersprache)
@de
ML (langage)
@fr
ML (linguagem de programação)
@pt
ML (linguaggio di programmazione)
@it
ML (programmeertaal)
@nl
ML (programming language)
@en
ML (プログラミング言語)
@ja
ML
@ru
ML语言
@zh
Meta Language
@pl
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
ML
@en