ML (ohjelmointikieli)

ML (Meta Language) 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
Vaikutteet	ISWIM
Vaikuttanut	Standard ML, OCaml, Haskell, F#
Uutisryhmä	comp.lang.ml
Infobox OK

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.