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

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"}-).

Pripada [[Функционално програмирање|funkcionalnoj]] i [[Императивно програмирање|imperativnoj]] programskoj [[programska paradigma|paradigmi]].

 

== Pregled jezika ==

* statički doseg - to znači da ne mogu da se menjaju vrednosti promenljivih, već može samo da im se pristupi.

* upotreba [[Hindley Milner algoritam|Hindley Milner algoritma]], koji može zaključivati tipove većine vrednosti bez zahtevanja iscrpnih anotacija.

 

== Funkcija jezika ==

Kao programski jezik opšte namene, svoju primenu nalazi i u [[Биоинформатика|bioinformatici]], finansijskim sistemima itd.

Ima odličnu podršku za [[algebarski tipovi podataka|algebarske tipove podataka]] (-{ADTs}-), što ga, zajedno sa idejom o razvijanju metoda dokaza, čini veoma pogodnim za programiranje nekih matematičkih softvera.

 

== Veza sa drugim jezicima ==

* jezici na koje je -{ML}- uticao: -{Haskell}-, -{[[Cyclone]]}-, -{[[Nemerle]]}- <ref>{{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: Novembar 2014}}</ref>

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

 

== Prednosti i mane ==

* mala baza korisnika

* slaba programska podrška (nedostatak [[Интегрисано развојно окружење|-{IDE}-]]-a, [[Дебагер|-{debugger}-]]-a itd.)

 

== Tipovi podataka ==

== Reference ==

{{reflist}}

 

== Spoljašnje veze ==

{{Neprovereni seminarski}}

 

[[Категорија:Функционални програмски језици]]