ML dil sınıfına dahil, fonksiyonel bir programlama^:fonksiyonel programlama^ dili. aynı zamanda object oriented programlama'yı da^:nesne yönelimli programlama^ destekler. hali hazırda kendisini enterprise seviyede kullanan birçok şirket mevcuttur.