A linguagem de programação ML foi criada em 1977 por Robin Milner. É uma linguagem de programação funcional que se baseia na linguagem de programação Lisp. ML é a abreviatura de Meta Language.
A linguagem de programação ML é uma linguagem de programação estaticamente tipada e funcional. Suporta funções de ordem superior, tipos de dados algébricos, e inferência de tipo. A linguagem de programação ML é utilizada numa variedade de aplicações, incluindo ciência da computação, inteligência artificial e engenharia de software.