الأمل (لغة برمجة)

هوب هي لغة برمجة مبنية على البرمجة الوظيفية ، طُوّرت في سبعينيات القرن العشرين في جامعة إدنبرة . ^{[ 1 ] [ 2 ]} وهي أقدم من ميراندا وهاسكل ، ومعاصرة للغة ML التي طُوّرت أيضًا في الجامعة نفسها. اشتُقت هوب من NPL ، ^{[ 3 ]} وهي لغة وظيفية بسيطة طوّرها رود بيرستال وجون دارلينجتون في عملهما على تحويل البرامج. ^{[ 4 ]} تتميز كل من NPL وهوب بكونهما أول لغتين تعتمدان على تقييم الاستدعاءات حسب النمط وأنواع البيانات الجبرية . ^{[ 5 ]}

سميت هوب على اسم السير توماس هوب (حوالي 1681-1771)، وهو مصلح زراعي اسكتلندي ، والذي سميت ساحة هوب بارك في إدنبرة ، موقع قسم الذكاء الاصطناعي في وقت تطوير هوب، على اسمه أيضًا.

استخدمت النسخة الأولى من لغة Hope التقييم الصارم ، ولكن ظهرت منذ ذلك الحين نسخٌ ذات تقييم كسول ونسخٌ ذات تقييم صارم مع مُنشئات كسولة. أما لغة Hope+، التي طُوّرت بالاشتراك بين إمبريال كوليدج وشركة International Computers Limited ، فقد أضافت تعليقات توضيحية لتحديد ما إذا كان التقييم صارمًا أم كسولًا. ^{[ 6 ]}

برنامج العوامل في هوب هو:

حقيقة dec: num -> num; --- حقيقة 0 <= 1؛ --- fact n <= n*fact(n-1);

لا يُغيّر تغيير ترتيب البنود معنى البرنامج، لأنّ مطابقة الأنماط في لغة Hope تُفضّل دائمًا الأنماط الأكثر تحديدًا على الأقل تحديدًا. يتطلب استخدام Hope تعريفات صريحة لأنواع البيانات ؛ إذ لا توجد خوارزمية لاستنتاج الأنواع .

^{توفر مكتبة} Hope بنيتين مدمجتين للبيانات : الصفوف والقوائم . [ ^{7 ]}

يشير شرح روجر بيلي لبرنامج Hope في عدد أغسطس 1985 من مجلة Byte إلى مترجم لنظام التشغيل IBM PC DOS 2.0. ^{[ 7 ]} شرعت شركة British Telecom في مشروع مع إمبريال كوليدج لندن لتنفيذ نسخة من Hope. قام ثانوس فاسيلاكيس ببرمجة الإصدار الأول عام 1986، بينما قام مارك تاسنغ من British Telecom ببرمجة الإصدارات اللاحقة.

• مترجم الأمل لنظام التشغيل ويندوز
• مدخل في قاموس لغات البرمجة على الإنترنت