El lenguaje de programación ML fue creado en 1977 por Robin Milner. Es un lenguaje de programación funcional basado en el lenguaje de programación Lisp. ML es la abreviatura de Meta Lenguaje.
El lenguaje de programación ML es un lenguaje de programación funcional con tipado estático. Admite funciones de orden superior, tipos de datos algebraicos e inferencia de tipos. El lenguaje de programación ML se utiliza en diversas aplicaciones, como la informática, la inteligencia artificial y la ingeniería de software.