ML (programski jezik): razlika između inačica
Izbrisani sadržaj Dodani sadržaj
Nema sažetka uređivanja |
|||
| Redak 1: | Redak 1: | ||
'''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č teorema|LCF dokazivaču teorema]] (jezik čiji je ML metajezik jest ''pplambda'', kombinacija [[predikatni račun prvog reda|predikatnog računa prvog reda]] i jednostavno tipiziranog [[polimorfizam (računarstvo)|polimorfnog]] [[lambda račun]]a. Poznat je po uporabi [[Hindley-Milner inferenca tipa|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 (programski jezik)|Java]]. |
'''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č teorema|LCF dokazivaču teorema]] (jezik čiji je ML metajezik jest ''pplambda'', kombinacija [[predikatni račun prvog reda|predikatnog računa prvog reda]] i jednostavno tipiziranog [[polimorfizam (računarstvo)|polimorfnog]] [[lambda račun]]a. Poznat je po uporabi [[Hindley-Milner inferenca tipa|Hindley-Milner algoritma inference tipova]], koji može inferirati tipove većine vrijednosti bez zahtijevanja iscrpnih [[anotacija (računarstvo)|anotacija]] koje su često kritizirane kao redundantna verboznost u jezicima kao što je [[Java (programski jezik)|Java]]. |
||
{{mrva-rač}} |
{{mrva-rač}} |
||
Inačica od 17. prosinca 2019. u 06:23
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.
Nedovršeni članak ML (programski jezik) koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima Wikipedije.