عرض مصدر هاسكل

{{عن|3=هاسكل (توضيح)}}
{{بطاقة لغة برمجة}}

'''هاسكل''' <ref>{{استشهاد بقائمة بريدية|مسار= https://mail.haskell.org/pipermail/haskell-cafe/2008-January/038756.html |عنوان=anybody can tell me the pronuncation of "haskell"? |تاريخ=January 28, 2008 |تاريخ الوصول=2011-03-12 |القائمة البريدية=Haskell-cafe |الأخير=Chevalier |الأول=Tim|مسار أرشيف= https://web.archive.org/web/20141025103920/http://www.haskell.org/pipermail/haskell-cafe/2008-January/038756.html|تاريخ أرشيف=2014-10-25}}</ref><ref>{{استشهاد بقائمة بريدية|مسار= https://mail.haskell.org/pipermail/haskell-cafe/2008-January/038758.html |عنوان=anybody can tell me the pronuncation of "haskell"? |تاريخ=January 28, 2008 |تاريخ الوصول=2011-03-12 |القائمة البريدية=Haskell-cafe |الأخير=Chevalier |الأول=Tim|مسار أرشيف= https://web.archive.org/web/20130126165329/http://www.haskell.org/pipermail/haskell-cafe/2008-January/038758.html|تاريخ أرشيف=2013-01-26}}</ref> هي [[لغة برمجة]] مطابقة للمعايير، للأغراض العامة، وهي لغة وظيفية إلى حد كبير، دون دلالات ألفاظ ملزمة وبكتابة ثابتة وقوية.<ref>Haskell Report</ref> وقد سُميت بـ هاسكل علي اسم عالم المنطق «[[هاسكل كاري|هاسكل كوري]]». وفي اللغة هاسكل، «تمثل الوظيفة مواطن من الدرجة الأولى» من لغة البرمجة.<ref>{{استشهاد|الأخير=Burstall|الأول=Rod|سنة=2000|عنوان=Christopher Strachey—Understanding Programming Languages|صحيفة=Higher-Order and Symbolic Computation|المجلد=13|العدد=52}}</ref> ولكونها لغة برمجة وظيفية فإن بنية التحكم الرئيسية هي الوظيفة. وترجع أصول اللغة إلى ملاحظات هاسكل كوري وأتباعه من المفكرين، بأن «الإثبات هو برنامج؛ والمعادلة التي يثبتها هي نوع للبرنامج».<ref>{{استشهاد| مؤلف1-الأخير=Curry | مؤلف1-الأول=Haskell | عنوان=Proceedings of the National Academy of Sciences | الفصل=Functionality in Combinatory Logic | سنة=1934  | المجلد=20 | صفحات=584–590}}</ref><ref name="CurryFeys_paragraph9E">{{استشهاد| مؤلف1-الأخير=Curry | مؤلف1-الأول=Haskell B. | مؤلف2-الأخير=Feys | مؤلف2-الأول=Robert | other1-last=Craig | other1-first=William | عنوان=Combinatory Logic Vol. I | ناشر=North-Holland | مكان=Amsterdam | سنة=1958}}, with 2 sections by William Craig, see paragraph 9E</ref><ref>{{استشهاد|الأخير=De Bruijn|الأول=Nicolaas|سنة=1968|عنوان=Automath, a language for mathematics|صحيفة=TH-report 68-WSK-05|ناشر=Department of Mathematics, [[جامعة آيندهوفن للتكنولوجيا]]}} Reprinted in revised form, with two pages commentary, in: {{استشهاد|عنوان=Automation and Reasoning|المجلد=2|سنة=1983|ناشر=Springer Verlag|صفحات=159–200|الفصل=Classical papers on computational logic 1967-1970}}</ref><ref>{{استشهاد| مؤلف1-الأخير=Howard | مؤلف1-الأول=William A.
 | الفصل=The formulae-as-types notion of construction
 | صفحات=479–490
 | محرر1-الأخير=Seldin | محرر1-الأول=Jonathan P.
 | محرر1-وصلة=Jonathan P. Seldin
 | محرر2-الأخير=Hindley | محرر2-الأول=J. Roger
 | محرر2-وصلة=J. Roger Hindley
 | عنوان=To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism
 | سنة النشر الأصلية=original paper manuscript from 1969
 | ناشر=[[Academic Press]] | مكان=Boston, MA | isbn=978-0-12-349050-6 | شهر=09 | سنة=1980}}.</ref>