امال
From Wikipedia, the free encyclopedia
امال (به انگلیسی: ML)، یک زبان برنامهنویسی تابعی همه منظوره است که توسط رابین میلنر و همکاران در اواخر دهه ۱۹۷۰ در دانشگاه ادینبورگ توسعه یافت. نحو این زبان از زبان برنامهنویسی آیسوییم الهام گرفتهاست.
اطلاعات اجمالی پارادایم برنامهنویسی, طراحی شده توسط ...
پارادایم برنامهنویسی | پارادایم برنامهنویسی: برنامهنویسی دستوری، برنامهنویسی تابعی |
---|---|
طراحی شده توسط | رابین میلز & others at the دانشگاه ادینبروگ |
ظهوریافته در | ۱۹۷۳؛ ۵۱ سال پیش (۱۹۷۳-خطا: زمان نامعتبر}}) |
static، وابستگی زیاد و کم به نوع، inferred، ایمنی نوع | |
گویش | |
استاندارد امال، Caml | |
متأثر از | |
آیسوییم (زبان برنامهنویسی) | |
تأثیر گذاشته بر | |
کلوژر، Coq، Cyclone، سی پلاسپلاس، Elm، اف شارپ، هسکل (زبان برنامهنویسی)، Idris، میراندا (زبان برنامهنویسی)، Nemerle، اکمل، اوپا، ارلنگ، راست (زبان برنامهنویسی)، اسکالا |
بستن
کلمه ML از فوق زبان (Meta Language) گرفته شدهاست. امال برای بهبود بخشیدن به رویه اثبات در قضیه LFC طراحی شدهاست. این برای کاربرد آن در الگوریتم استنتاج نوع هیندلی- میلنر که بهطور خودکار اکثر عبارتها بدون نیاز به تفسیر نوع صریح شناخته شدهاست.