كلیه اطلاعات این سایت مربوط به شركت طراحی سایت - شركت نرم افزاری بهپردازان می باشد


شركت نرم افزاری بهپردازان

موضوع مقاله : ML :

شرح : ام‌ال (به انگليسي: ML)، يک زبان برنامه‌نويسي تابعي همه منظوره است که توسط رابين ميلنر و همکاران در اواخر دهه ???? در دانشگاه ادينبورگ توسعه يافت. نحو اين زبان از زبان برنامه‌نويسي آي‌سوييم الهام گرفته است.

کلمه ML از فوق زبان (Meta Language) گرفته شده است. ام‌ال براي بهبود بخشيدن به رويه اثبات در قضيه LFC طراحي شده است. اين براي کاربرد آن در الگوريتم استنتاج نوع هيندلي- ميلنر که به طور خودکار اکثر عبارت‌ها بدون نياز به تفسير نوع صريح شناخته شده است.