اشر (زبان برنامه‌نویسی): تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
Foad.eunoia (بحث | مشارکت‌ها) تصحیح پیوند ها |
بدون خلاصۀ ویرایش برچسبها: برگرداندهشده ویرایشگر دیداری وظیفه تازهوارد |
||
خط ۲:
'''اِشِر''' یک زبان [[برنامه‌نویسی رایانه‌ای|برنامه‌نویسی]] اعلانی است که هر دو مدل برنامه‌نویسی تابعی و برنامه‌نویسی منطقی را حمایت می‌کند. این زبان توسط J.W. Lloyd در اواسط سال ۱۹۹۰ میلادی گسترش یافت. اِشِر بیشتر به عنوان یک تحقیق یا وسیله‌ای برای آموزش طراحی شده‌است. نمای پایه‌ای از برنامه‌نویسی به نمایش گذاشته شده توسط اِشِر و زبان‌های وابسته به آن این است که یک برنامه٬نمایشی از یک تئوری در یک سری چارچوب‌های منطقی است و اجرای یک برنامه (انجام محاسبات) نتیجه‌ای از آن تئوری است. چارچوب منطقی اِشِر، تئوری ساده‌ای از انواع ٬از آلانزو چرچ(Alonzo Church)است.
اِشِر٬به ویژه در یک [[برنامه‌نویسی رایانه‌ای|برنامه‌نویسی]] تابعی از ورودی/خروجی(I/O)حمایت می‌کند تا نشان‌دهندهٔ جهان بیرون به سبک زبان برنامه‌نویسی [[هاسکل]](Haskell) باشد. یکی از اهداف طراحان اِشِر حمایت از متا-برنامه‌نویسی بود٬و بنابراین این زبان به منظور تولید برنامه‌ها حمایت وسیعی شد.
== مثال‌ها ==
| |||