Es una variante del lenguaje de programación ML y es compatible