ML (ohjelmointikieli)
ohjelmointikieli
ML on funktionaalinen ohjelmointikieli. Kielen on kehittänyt Robin Milnerin johtama ryhmä Edinburghin yliopistossa 1970-luvulla.[1]
| ML | |
|---|---|
| Paradigma | funktionaalinen ohjelmointi |
| Tyypitys | vahva, staattinen |
| Muistinhallinta | roskienkeruu |
| Kehittäjä | Robin Milner |
| Uutisryhmä | comp.lang.ml |
Kieli on tunnettu Hindley-Milner tyyppijärjestelmästä (myös kutsuttu "Milner-Damas").[1]
ML:ää on kutsuttu "epäpuhtaaksi" (impure) funktionaaliseksi kieleksi. Se voidaan käsittää moniparadigmaiseksi: se yhdistää imperatiivista ja funktionaalista paradigmaa.
ML:n pohjalta on myöhemmin kehitetty Standard ML, Caml ja OCaml.
Lähteet
muokkaa- ↑ a b CSE 341: Introduction to ML courses.cs.washington.edu. Viitattu 27.7.2017.
Aiheesta muualla
muokkaa- A Gentle Introduction to ML (Arkistoitu – Internet Archive) (englanniksi)
