ML

Acrónimo de “Meta Lenguaje”, es un lenguaje funcional que a diferencia de lenguajes convencionales de procesos, es matemáticamente «puro». Fue desarrollado por Robin Milner en la Universidad de Edimburgo a finales de los años 70.

Entre sus características se incluye el álgebra de funciones, el polimorfismo y el análisis de tipos, patrones y excepciones. Actualmente es usado para diseñar y manipular lenguajes de programación, en sistemas financieros y en bioinformática.

Fuente: Apuntes de Informática VII de la FCA de la UNAM