هاسكل
لغة برمجة / من ويكيبيديا، الموسوعة encyclopedia
عزيزي Wikiwand AI, دعنا نجعلها قصيرة من خلال الإجابة ببساطة على هذه الأسئلة الرئيسية:
هل يمكنك سرد أهم الحقائق والإحصائيات حول هاسكل?
تلخيص هذه المقالة لعمر 10 سنوات
عرض كل الأسئلة
هاسكل [5][6] هي لغة برمجة مطابقة للمعايير، للأغراض العامة، وهي لغة وظيفية إلى حد كبير، دون دلالات ألفاظ ملزمة وبكتابة ثابتة وقوية.[7] وقد سُميت بـ هاسكل علي اسم عالم المنطق «هاسكل كوري». وفي اللغة هاسكل، «تمثل الوظيفة مواطن من الدرجة الأولى» من لغة البرمجة.[8] ولكونها لغة برمجة وظيفية فإن بنية التحكم الرئيسية هي الوظيفة. وترجع أصول اللغة إلى ملاحظات هاسكل كوري وأتباعه من المفكرين، بأن «الإثبات هو برنامج؛ والمعادلة التي يثبتها هي نوع للبرنامج».[9][10][11][12]
معلومات سريعة التصنيف, التنميط ...
هاسكل
التصنيف | |
---|---|
التنميط | |
ظهرت في | |
صممها |
Lennart Augustsson (en) — Warren Burton (en) — Kevin Hammond (en) — Paul Hudak (en) — John Hughes (en) — Thomas Johnsson (en) — سيمون بيتن جونز — John Launchbury (en) — إريك ماير — Alastair Reid (en) — Philip Wadler (en) |
نظام التشغيل |
المطور |
Paul Hudak (en) [1] — Lennart Augustsson (en) [2] — John Hughes (en) [3] — سيمون بيتن جونز[4] — إريك ماير[4] — Philip Wadler (en) [4] |
---|---|
الإصدار الأول | |
الإصدار الأخير |
متأثرة بـ |
---|
امتدادات الملفات | |
---|---|
موقع الويب |
haskell.org (الإنجليزية) |
إغلاق