اشر (زبان برنامهنویسی)
From Wikipedia, the free encyclopedia
اِشِر یک زبان برنامهنویسی اعلانی است که هر دو مدل برنامهنویسی تابعی و برنامهنویسی منطقی را حمایت میکند. این زبان توسط J.W. Lloyd در اواسط سال ۱۹۹۰ میلادی گسترش یافت. اِشِر بیشتر به عنوان یک تحقیق یا وسیلهای برای آموزش طراحی شدهاست. نمای پایهای از برنامهنویسی به نمایش گذاشته شده توسط اِشِر و زبانهای وابسته به آن این است که یک برنامه نمایشی از یک تئوری در یک سری چارچوبهای منطقی است و اجرای یک برنامه (انجام محاسبات) نتیجهای از آن تئوری است. چارچوب منطقی اِشِر، تئوری سادهای از انواع از آلانزو چرچ (Alonzo Church) است.
این مقاله نیازمند ویکیسازی است. لطفاً با توجه به راهنمای ویرایش و شیوهنامه، محتوای آن را بهبود بخشید. (آوریل ۲۰۲۲) |
اِشِر به ویژه در یک برنامهنویسی تابعی از ورودی/خروجی (I/O) حمایت میکند تا نشاندهندهٔ جهان بیرون به سبک زبان برنامهنویسی هاسکل (Haskell) باشد. یکی از اهداف طراحان اِشِر حمایت از متا-برنامهنویسی بود و بنابراین این زبان به منظور تولید برنامهها حمایت وسیعی شد.