امروزه زبان های مختلفی در خانواده ی ML وجود دارد؛ معروف ترین آن
SML است (ML استاندارد) و Objective Caml). نظرات ML روی زبان های دیگر، به ویژه آنهایی که در دانشگاه ها طراحی شده اند تاثیر گذاشت. نمونه های آن شامل
Cyclone و
Nemerle است.
قدرت ML اغلب در طراحی و دستکاری زبان به کار می رود (کامپایلرها، تحلیلگرها، ثابت کننده های نظریه)، اما ML همچنین در بیوانفورماتیک، سیستم های مالی، بانک های اطلاعاتی شجره ای، برنامه ی سرویس دهنده / سرویس گیرنده ی نظیر به نظیر و ... کاربرد دارد.