ML (Meta Language) on funktionaalinen ohjelmointikieli. Kielen on kehittänyt Robin Milnerin johtama ryhmä Edinburghin yliopistossa 1970-luvulla.
Kieli on tunnettu Hindley-Milner tyyppijärjestelmästä (myös kutsuttu "Milner-Damas").
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
Aiheesta muualla A Gentle Introduction to ML
Luokka:Funktionaaliset ohjelmointikielet