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

нема резимеа измене
No edit summary
No edit summary
 
==Pregled jezika==
* strogo tipiziran programski jezik - u osnovi -{ML}- jezika je [[lambda račun]] kojem je dodata stroga tipizacija. <ref>{{cite web | last = Mitić| first = Nenad | authorlink = Nenad Mitić | year=2009 | title = Ukratko o lambda računu | url = http://www.dms.rs/DMS/data/seminari/seminar2009/N.Mitic.pdf}}</ref> Strogi sistem tipova pruža mogućnost za optimizaciju, tako da se uskoro pojavljuje kompilator jezika.
* [[poziv po vrednosti]] (eng. ''-{call-by-value}-'') - funkciji se prosleđuju vrednosti promenljivih, koje se koriste u telu funkcije (rezultat rada funkcije zavisi od tih vrednosti), ali one same ne mogu biti promenjene
* funkcije višeg reda - uzima jednu ili više funkcija kao argumente (procesni parametri) i vraća funkciju kao rezultat. U lambda računu sve funkcije su višeg reda.
36

измена