ML (programski jezik)

Izvor: Hrvatska internetska enciklopedija
Inačica 49828 od 23. kolovoza 2021. u 03:09 koju je unio WikiSysop (razgovor | doprinosi) (Bot: Automatski unos stranica)
(razl) ←Starija inačica | vidi trenutačnu inačicu (razl) | Novija inačica→ (razl)
Skoči na:orijentacija, traži

ML je funkcijski programski jezik opće namjene kojeg su razvili Robin Milner i ostali kasnih 1970-ih pri University of Edinburgh, i čija je sintaksa inspirirana jezikom ISWIM. Povijesno, ML stoji za metalanguage (metajezik), s obzirom da je bio osmišljen za razvijanje metoda dokaza u LCF dokazivaču teorema (jezik čiji je ML metajezik jest pplambda, kombinacija predikatnog računa prvog reda i jednostavno tipiziranog polimorfnog lambda računa. Poznat je po uporabi Hindley-Milner algoritma inference tipova, koji može inferirati tipove većine vrijednosti bez zahtijevanja iscrpnih anotacija koje su često kritizirane kao redundantna verboznost u jezicima kao što je Java.


Desktop computer clipart - Yellow theme.svg Nedovršeni članak ML (programski jezik) koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima uređivanja Hrvatske internetske enciklopedije.