ML (ohjelmointikieli)

ML 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" (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.

Lähteet

Aiheesta muualla 
 A Gentle Introduction to ML  

Funktionaaliset ohjelmointikielet