ML (ohjelmointikieli)
| ML | |
|---|---|
| Paradigma | funktionaalinen ohjelmointi |
| Tyypitys | vahva, staattinen |
| Muistinhallinta | roskienkeruu |
| Kehittäjä | Robin Milner |
| Vaikutteet | ISWIM |
| Vaikuttanut | Standard ML, OCaml, Haskell, F# |
| Uutisryhmä | comp.lang.ml |
ML (Meta Language) 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" (eng. impure) funktionaaliseksi kieleksi. Se voidaan käsittää moniparadigmaiseksi: se yhdistää imperatiivista ja funktionaalista paradigmaa.
ML:n pohjalta on myöhemmin kehitetty mm. Standard ML, Caml ja OCaml.
Lähteet
[muokkaa | muokkaa wikitekstiä]- 1 2 CSE 341: Introduction to ML courses.cs.washington.edu. Viitattu 27.7.2017.
Aiheesta muualla
[muokkaa | muokkaa wikitekstiä]- A Gentle Introduction to ML (Arkistoitu – Internet Archive) (englanniksi)
