هاسكل
 

هاسكل هي لغة برمجة مطابقة للمعايير، للأغراض العامة، وهي لغة وظيفية إلى حد كبير، دون دلالات ألفاظ ملزمة وبكتابة ثابتة وقوية. وقد سُميت بـ هاسكل علي اسم عالم المنطق «هاسكل كوري». وفي اللغة هاسكل، «تمثل الوظيفة مواطن من الدرجة الأولى» من لغة البرمجة. ولكونها لغة برمجة وظيفية فإن بنية التحكم الرئيسية هي الوظيفة. وترجع أصول اللغة إلى ملاحظات هاسكل كوري وأتباعه من المفكرين، بأن «الإثبات هو برنامج؛ والمعادلة التي يثبتها هي نوع للبرنامج

كفيت ووفيت في الشرح
يعطيك العآفية ع جهودك وعطآئك المُميّز
فيض من السعادة تغمر قلبك

_



شُكرًا على النقل
لا حرمنا الله من عطآئك
والله يعطيك العآفية ،
دمت بخير ض2.,

سلمت يداك على روعة الطرح
وسلم لنا ذوقك الراقي على جمال الاختيار ..
لك ولحضورك الجميل كل الشكر والتقدير