ML | |
---|---|
Paradigma | funktionaalinen ohjelmointi |
Tyypitys | vahva, staattinen |
Muistinhallinta | roskienkeruu |
Kehittäjä | Robin Milner |
Uutisryhmä | comp.lang.ml |
ML on funktionaalinen ohjelmointikieli. Kielen on kehittänyt Robin Milnerin johtama ryhmä Edinburghin yliopistossa 1970-luvulla.[1]
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.