ML (programski jezik) — разлика између измена

'''-{ML}-''' (eng. ''MetaLanguage'') je [[programski jezik]] koji je razvio [[-{[[Robin Milner}-]]}- 1970-ih godina na [[Univerzitet u Edinburgu|Univerzitetu u Edinburgu]]. <ref name="Gordon1996">{{cite web | last = Gordon | first = Michael J. C. | authorlink = Michael J. C. Gordon | year=1996 | title = Kratka istorija - -{LCF}- - -{HOL}- | url = http://www.cl.cam.ac.uk/~mjcg/papers/HolHistory.html | accessdate = 2007-10-11}}</ref>

Njegova sintaksa je inspirisana [[-{[[ISWIM}-]]}--om (-{ISWIM}- je apstraktni programski jezik smišljen od strane -{P.J.Landin}-; akronim predstavlja -{„If You See What I Mean“}-).

Glavni jezici koji pripadaju -{ML}--u su [[-{[[Standard ML}-]]}- (-{(SML)}-) i [[-{[[Caml}-]]}-. Osim njih, postoje i drugi - poput jezika -{[[-{F sharp}-|F#]]}-, koji se koristi kao podrska [[-{[[.NET Framework|Microsoftovoj .NET}- platformi]]}-.

Kao što je pomenuto na početku, zbog osobina koje ga karakterišu, ML ne pripada isključivo jednoj programskoj paradigmi. Pripada prvenstveno funkcionalnoj paradigmi, međutim, bez obzira na to što ohrabruje funkcionalno programiranje – on nije isključivo funkcionalan (poput jezika kao što je -{[[-{Haskel}- (programski jezik)|-{Haskell]]}-]]), jer on ne dozvoljava bočne efekte. Osim funkcionalnoj, -{ML}- pripada i imperativnoj paradigmi.

* jezici na koje je -{ML}- uticao: -{Haskell}-, [[-{[[Cyclone}-]]}-, -{[[Nemerle]]}- <ref>{Nemerle{cite book|last1=Tate|first1=Bruce A.|last2=Daoud|first2=Fred|last3=Dees|first3=Ian|last4=Moffitt|first4=Jack|title=Opširnije o jeziku -{Haskell}-]]|date=2014|isbn=978-1-941222-15-7|pages=97|edition=Verzija knjige: P1.0-November 2014}}</ref>

* jezici koji su uticali na nastanak i razvoj -{ML}- programskog jezika: [[-{[[Lisp}-]]}-