ML (ohjelmointikieli)

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