ML, kirjutatud tekstifail, funktsionaalne programmeerimiskeel; võib kirjutada, kasutades standardset ML (SML) või ühte mitmest ML perekonna sordist, sealhulgas Caml, Objective Caml (OCaml), JoCaml, Extended ML ja MacroML; kasutatakse sageli keelekujunduses kompilaatorite või muude lähtekooditõlkide arendamiseks; kasutatakse ka akadeemilises keskkonnas teooriate tõestamiseks.
Kuigi ML-i variante on palju, on OCaml kõige populaarsem versioon.
MÄRKUS: Microsofti F # keel kuulub ka ML-i perekonda, kuna see on ML-i tuletis. F # ühildub suures osas OCamliga.