الفرق بين المراجعتين لصفحة: «برمجة هاسكل»

تم حذف المحتوى تمت إضافة المحتوى
ط بوت: تغييرات تجميلية
سطر 1:
'''هاسكل''' هي لغة برمجة مطابقة للمعايير، للأغراض العامة، وهي لغة وظيفية إلى حد كبير، دون دلالات ألفاظ ملزمة وبكتابة ثابتة وقوية. وقد سُميت بهاسكل علي اسم عالم المنطق " هاسكل كوري ". وفي اللغة هاسكل، "تمثل الوظيفة مواطن من الدرجة الأولى" من لغة البرمجة. ولكونها لغة برمجة وظيفية فإن بنية التحكم الرئيسية هي الوظيفة. وترجع أصول اللغة إلى ملاحظات هاسكل كوري وأتباعه من المفكرين، بأن " الإثبات هو برنامج؛ والمعادلة التي يثبتها هي نوع للبرنامج
 
== مقدمة ==
== برنامج أهلا بالعالم ==
== أساسيات ==
== مراجع ==
 
[[تصنيف:لغات برمجة]]
[[Categoryتصنيف:قائمة الكتب]]