Le langage de programmation ML a été créé en 1977 par Robin Milner. Il s'agit d'un langage de programmation fonctionnel basé sur le langage de programmation Lisp. ML est l'abréviation de Meta Language.
Le langage de programmation ML est un langage de programmation fonctionnel et statiquement typé. Il supporte les fonctions d'ordre supérieur, les types de données algébriques et l'inférence de type. Le langage de programmation ML est utilisé dans une variété d'applications, notamment en informatique, en intelligence artificielle et en ingénierie logicielle.