مرکوری (زبان برنامهنویسی)
زبان برنامهنویسی تابعی منطقی / From Wikipedia, the free encyclopedia
مرکوری یک زبان برنامهنویسی منطقی تابعی است که جهت کاربردهای دنیای واقعی بهینه شدهاست. این زبان در ابتدا در دانشکده علوم کامپیوتر دانشگاه ملبورن تحت نظارت زولتان سوموگی ابداع شد. فرگوس هندرسون، توماس کانوی و زلتان سوموگی نخستین نسخه مرکوری را در ۸ آوریل سال ۱۹۹۵ منتشر کردند.
اطلاعات اجمالی پارادایم برنامهنویسی, طراحی شده توسط ...
پارادایم برنامهنویسی | برنامهنویسی منطقی، برنامهنویسی تابعی، برنامهنویسی شیءگرا |
---|---|
طراحی شده توسط | Zoltan Somogyi |
توسعهدهنده | دانشگاه ملبورن |
ظهوریافته در | ۸ آوریل ۱۹۹۵؛ ۲۸ سال پیش (۱۹۹۵-08}}) |
انتشار پایدار | ۱۴٫۰۱٫۱
۸ سپتامبر ۲۰۱۴؛ ۸ سال پیش (۲۰۱۴-08}}) |
وابستگی زیاد و کم به نوع، استاتیک، چندریختی (برنامهنویسی) | |
زبان پیادهسازی | Mercury |
بنسازه رایانش | آیای-۳۲، X86-64 |
سیستمعامل | چندسکویی: یونیکس، مکاواس، مایکروسافت ویندوز |
پروانه | پروانه عمومی همگانی گنو compiler, گنو الجیپیال standard library |
.m | |
وبگاه | |
پیادهسازیهای بزرگ | |
Melbourne Mercury Compiler | |
متأثر از | |
پرولوگ، Hope، هسکل (زبان برنامهنویسی) |
بستن
مرکوری یک زبان برنامهنویسی منطقی اعلانی خالص است که با زبانهای پرولوگ و هسکل در ارتباط است.[1] این امر باعث به وجود آمدن سیستم نوعی قوی، ایستا و چند ریخت به همراه حالت و جبرگرایی سیستم قوی شدهاست.
پیادهسازی رسمی این زبان با عنوان کامپایلر مرکوری ملبورن برای پلتفرمهای یونیکس از جمله مک اواس ده و مایکروسافت ویندوز در دسترس است.