Content deleted Content added
m Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags |
m Link Haskell |
||
Line 31:
ML was developed by [[Robin Milner]] and others in the early 1970s at the [[University of Edinburgh]],<ref name="Gordon1996">{{cite web | last = Gordon | first = Michael J. C. | authorlink = Michael J. C. Gordon | year=1996 | title = From LCF to HOL: a short history | url = http://www.cl.cam.ac.uk/~mjcg/papers/HolHistory.html | accessdate = 2007-10-11}}</ref> whose syntax is inspired by [[ISWIM]]. Historically, ML was conceived to develop proof tactics in the [[Logic for Computable Functions|LCF theorem prover]] (whose language, ''pplambda'', a combination of the [[First-order logic|first-order predicate calculus]] and the simply-typed [[Polymorphism (computer science)|polymorphic]] [[lambda calculus]], had ML as its metalanguage).
Today there are several languages in the ML family; the three most prominent are [[Standard ML]] (SML), [[OCaml]] and [[F Sharp (programming language)|F#]]. Ideas from ML have influenced numerous other languages, like [[Haskell_(programming_language)|Haskell]], [[Cyclone programming language|Cyclone]], [[Nemerle]], [[ATS (programming language)|ATS]],{{Citation needed|date=August 2010}} and [[Elm (programming language)|Elm]].<ref>{{cite book|last1=Tate|first1=Bruce A.|last2=Daoud|first2=Fred|last3=Dees|first3=Ian|last4=Moffitt|first4=Jack|title=Seven More Languages in Seven Weeks|date=2014|publisher=The Pragmatic Programmers, LLC|isbn=978-1-941222-15-7|pages=97, 101|edition=Book version: P1.0-November 2014|chapter=3. Elm|quote=On page 101, Elm creator Evan Czaplicki says: 'I tend to say "Elm is an ML-family language" to get at the shared heritage of all these languages.' ["these languages" is referring to Haskell, OCaml, SML, and F#.]}}</ref>
==Examples==
| |||