Programovací jazyk ML vytvoril v roku 1977 Robin Milner. Je to funkcionálny programovací jazyk, ktorý je založený na programovacom jazyku Lisp. ML je skratka pre Meta Language.
Programovací jazyk ML je staticky typovaný, funkcionálny programovací jazyk. Podporuje funkcie vyššieho rádu, algebraické dátové typy a typovú inferenciu. Programovací jazyk ML sa používa v rôznych aplikáciách vrátane informatiky, umelej inteligencie a softvérového inžinierstva.