{{Programozási nyelv infobox}}Az ML ("MetaLanguagemetalanguage") egy általános célú funkcionális programozási nyelv. PolimorfA polimorf Hindley- – Milner típusú rendszerérőlrendszer használatáról ismert., Automatikusanamely automatikusan hozzárendeli a típusokatlegtöbb akifejezés legtöbbtípusát kifejezéshezanélkül, hogy kifejezett típusjegyzetektípusú nélkül.kommentárokat Típusbiztonságiigényelne, sablonokatés isbiztosítja biztosít:a hivatalostípusbiztonságot bizonyíték- van egy hivatalos bizonyíték arra, hogy a jól beírt ML programokprogram nem okoznakokoz futásidejűfutási hibátidőt típusú hibák. Az ML biztosítja példák a megfelelőmintaillesztést funkcióparaméterekrea függvény-argumentumokhoz, a szemétszállításraszemétgyűjtéshez(garbage collection), a kényszerítettkötelező programozásraprogramozáshoz, az értékenkénti hívásrahíváshoz és a curryrecurryhez. Széles körbenSokat használják a programozási nyelv kutatásában, és egyike azon kevés nyelveknek, amelyeket ateljesen formális szemantikávalmeg kell teljes mértékben meghatároznihatározni és ellenőrizni kell a formális szemantika segítségével. TípusaTípusai és mintabeillesztése miattalkalmassá nagyonteszi alkalmasarra, éshogy más formális nyelveken is elterjedtműködjenek, például fordításírása fordító írásában, az automatikus kötegelttétel lektorálásbizonyításában és hivatalosa formális ellenőrzésellenőrzésben.
