Die Programmiersprache ML wurde 1977 von Robin Milner entwickelt. Es handelt sich um eine funktionale Programmiersprache, die auf der Programmiersprache Lisp basiert. ML ist die Abkürzung für Meta Language.
Die ML-Programmiersprache ist eine statisch typisierte, funktionale Programmiersprache. Sie unterstützt Funktionen höherer Ordnung, algebraische Datentypen und Typinferenz. Die ML-Programmiersprache wird in einer Vielzahl von Anwendungen eingesetzt, unter anderem in der Informatik, der künstlichen Intelligenz und der Softwaretechnik.