Programovací jazyk ML vytvořil v roce 1977 Robin Milner. Jedná se o funkcionální programovací jazyk, který vychází z programovacího jazyka Lisp. ML je zkratka pro Meta Language.
Programovací jazyk ML je staticky typovaný, funkcionální programovací jazyk. Podporuje funkce vyššího řádu, algebraické datové typy a typovou inferenci. Programovací jazyk ML se používá v řadě aplikací, včetně informatiky, umělé inteligence a softwarového inženýrství.