هاسكل ‏

هاسكل ‏

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

تمرد معجب بهذا

مشكورعلى مواضيعك الاكثر من رائعه والمميزة..
وسلمت الانامل الذهبيه
دمتم متالقين مبدعين متميزين
بانتظار جديدكِم المميز

-










ممٌتنة لتوآجدكم
كل الشُكر وَ التقدير ..