هاسكل (لغة برمجة)

Haskell

Paradigm	Purely functional
Designed by	Lennart Augustsson, Dave Barton, Brian Boutel, Warren Burton, Joseph Fasel, Kevin Hammond, Ralf Hinze, Paul Hudak, John Hughes, Thomas Johnsson, Mark Jones, Simon Peyton Jones, John Launchbury, Erik Meijer, John Peterson, Alastair Reid, Colin Runciman, Philip Wadler
First appeared	1990 (1990
الإصدار المستقر	Haskell 2010 / يوليو 2010 (2010-07
الإطلاق الپروڤة	Haskell 2020 announced
Typing discipline	Inferred, static, strong
OS	Cross-platform
Filename extensions	.hs, .lhs
Website	www.haskell.org
Major implementations
GHC, Hugs, NHC, JHC, Yhc, UHC
اللهجات
Helium, Gofer
Influenced by
Clean, FP, Gofer, Hope and Hope+, Id, ISWIM, KRC, Lisp, Miranda, ML and Standard ML, Orwell, SASL, Scheme, SISAL
Influenced
Agda, Bluespec, C++11/Concepts, C#/LINQ, CAL, Cayenne, Clean, Clojure, CoffeeScript, Curry, Elm, Epigram, Escher, F#, Frege, Hack, Idris, Isabelle, Java/Generics, LiveScript, Mercury, Ωmega, PureScript, Python, Raku, Rust, Scala, Swift, Timber, Visual Basic 9.0

هاسكل Haskell /ˈhæskəl/ هي لغة برمجة للأغراض العامة، مكتوبة بشكل ثابت، وظيفية بحتة مع استدلال النوع وذات تقييم حسب الحاجة. تم تطوير هاسكل لتكون مناسبة للتدريس والبحث والتطبيقات الصناعية، وقد كانت رائدة في عدد من ميزات لغة البرمجة المتقدمة مثل فئات النوع، والتي تتيح التحميل الزائد للمشغل من النوع الآمن. تطبيق هاسكل الرئيسي هو مترجم گلاسكو هاسكل (GHC). سميت على اسم عالم المنطق هاسكل كيري.

تستند دلالات هاسكل تاريخياً إلى تلك الخاصة بلغة البرمجة ميراندا، والتي عملت على تركيز جهود مجموعة عمل هاسكل الأولية. تم إجراء آخر مواصفات رسمية للغة في يوليو 2010، بينما استمر تطوير تطبيق GHC في توسيع هاسكل عبر ملحقات اللغة. المواصفات الرسمية التالية مخطط لها لعام 2020.

تستخدم هاسكل في الأوساط الأكاديمية والصناعة. اعتباراً من سبتمبر 2020، احتلت هاسكل هي لغة البرمجة الأكثر شيوعاً ذات رقم 28 من حيث عمليات البحث على گوگلللدروس التعليمية وشكلوا أقل من 1٪ من المستخدمين النشطين في مخزن شيفرة مصدر گيت‌هب.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

 تاريخ

بعد إصدار ميراندا من قبل شركة ريسيرش سوفتوير المحدودة في عام 1985، ازداد الاهتمام بـ اللغات الوظيفية حسب الحاجة. بحلول عام 1987، كان هناك أكثر من اثنتي عشرة لغات برمجة وظيفية بحتة غير دقيقة. كانت ميراندا هي الأكثر استخداماً، لكنها كانت برمجيات احتكارية. في مؤتمر لغات البرمجة الوظيفية والبنى الحاسوبية (FPCA '87) في پورتلاند، أوريگون، كان هناك إجماع قوي على تشكيل لجنة لتحديد معيار مفتوح لهذه اللغات. كان الغرض من اللجنة هو دمج اللغات الوظيفية الموجودة في لغة شائعة لتكون بمثابة أساس للبحث في المستقبل في تصميم اللغة الوظيفية.

 هاسكل من 1.0 إلى 1.4

تم اقتراح فئات النوع، التي تمكّن التحميل الزائد للمشغل بشكل آمن، لأول مرة بواسطة فيليپ وادلر وستيفن بلوت لـ إم‌إل معيارية ولكن تم تنفيذها لأول مرة في هاسكل بين 1987 والإصدار 1.0.

تم تحديد الإصدار الأول من هاسكل ("هاسكل 1.0") في عام 1990. نتج عن جهود اللجنة سلسلة من تعريفات اللغة (1.0, 1.1, 1.2, 1.3, 1.4).

فئات النوع التي نشأت في هاسكل

 هاسكل 98

في أواخر عام 1997، بلغت السلسلة ذروتها في Haskell 98، الذي يهدف إلى تحديد نسخة مستقرة، ومحدودة، ومحمولة من اللغة و مكتبة قياسية مناسبة للتدريس، وكقاعدة للملحقات المستقبلية. وقد رحبت اللجنة صراحة بإنشاء ملحقات ومتغيرات لـ هاسكل 98 من خلال إضافة ودمج الميزات التجريبية.

في فبراير 1999، تم نشر معيار لغة هاسكل 98 في الأصل باسم تقرير هاسكل 98. في يناير 2003، تم نشر نسخة منقحة باسم هاسكل 98 اللغة والمكتبات: التقرير المنقح. حيث تستمر اللغة في التطور بسرعة، مع تطبيق مترجم گلاسكو هاسكل (GHC) الذي يمثل المعيار الواقعي الحالي.

 هاسكل 2010

في أوائل عام 2006، بدأت عملية تحديد خليفة لمعيار هاسكل 98، المسمى بشكل غير رسمي هاسكل پرايم. كان القصد من ذلك أن يكون عملية تدريجية مستمرة لمراجعة تعريف اللغة، وإنتاج مراجعة جديدة تصل إلى مرة واحدة في السنة. تم الإعلان عن المراجعة الأولى، المسماة هاسكل 2010، في نوفمبر 2009 وتم نشرها في يوليو 2010.

هاسكل 2010 هو تحديث تدريجي للغة، يشتمل في الغالب على العديد من الميزات المستخدمة جيداً وغير المثيرة للجدل والتي تم تمكينها مسبقاً عبر العلامات الخاصة بالمترجم.

• أسماء الوحدات الهرمية. يُسمح لأسماء الوحدات النمطية بأن تتكون من تسلسلات مفصولة بالنقاط لمعرفات بأحرف كبيرة، بدلاً من معرف واحد فقط. يتيح ذلك تسمية الوحدات بطريقة هرمية (على سبيل المثال، Data.List بدلاً من List)، على الرغم من أن الوحدات النمطية من الناحية الفنية لا تزال في فضاء اسم واحد متجانس. تم تحديد هذه الإضافة في ملحق هاسكل 98 وقد تم استخدامه بشكل شامل.
• تسمح واجهة الدوال الخارجية (FFI) بالربط بلغات البرمجة الأخرى. تم تحديد الارتباطات بـ سي فقط في التقرير، لكن التصميم يسمح بربط لغة أخرى. لدعم ذلك، تم السماح لإعلانات نوع البيانات بعدم احتواء أي مُنشئين، مما يتيح أنواعاً قوية مناسبة للبيانات الخارجية التي لا يمكن إنشاؤها في هاسكل. تم تحديد هذا الملحق مسبقاً في ملحق لتقرير هاسكل 98 وتم استخدامها على نطاق واسع.
• ما يسمى بأنماط n+k (تعريفات الشكل fact (n+1) = (n+1) * fact n) لم يعد مسموحاً بها. يحتوي هذا التجميل اللغوي على دلالات مضللة، حيث بدت الشفرة وكأنها تستخدم العامل (+)، ولكنها في الواقع تم إلغاء وصفها باستخدام (-) و (>=)
• تم تخفيف قواعد استدلال النوع للسماح لمزيد من البرامج بالقيام بتحقق النوع.
• تم إصلاح بعض مشكلات التركيب اللغوي (التغييرات في القواعد النحوية الرسمية): تمت إضافة حماية النمط، مما يسمح بمطابقة الأنماط داخل الحماية؛ تم تحديد قرار ثبات العوامل بطريقة أبسط تعكس الممارسة الفعلية؛ تمت معالجة حالة طرفية في تفاعل بناء اللغة معجمياً للعوامل والتعليقات، وتم تعديل تفاعل التدوين و if-then-else لإزالة الأخطاء التركيبية غير المتوقعة.
• تم تحديد توجيه LANGUAGE. بحلول عام 2010، لقد تم استخدام العشرات من ملحقات اللغة على نطاق واسع، وقدمت GHC (من بين المترجمين الآخرين) LANGUAGE لتحديد الملحقات الفردية مع قائمة المعرفات. حيث يتم طلب مترجمي هاسكل 2010 لدعم الملحق Haskell2010 ويتم تشجيعهم على دعم العديد من الملحقات الأخرى، والتي تتوافق مع الملحقات المضافة في هاسكل 2010.

 الميزات

المقالة الرئيسية: ميزات هاسكل

انظر أيضاً: مصرِّف گلاسگو هاسكل § ملحقات هاسكل

تتميز هاسكل بالتقييم حسب الحاجة وتعبيرات لامدا و مطابقة النمط و قائمة الإدراك و فئة النوع و تعدد الأشكال. فهي لغة وظيفية بحتة، مما يعني أن الوظائف عموماً ليس لها آثار جانبية. توجد بنية مميزة لتمثيل الآثار الجانبية، متعامد مع نوع الدوال. يمكن أن تُرجع الدالة البحتة تأثيراً جانبياً يتم تنفيذه لاحقاً، بنمذجة دوال غير بحتة للغات أخرى.

تمتلك هاسكل نظاماً قوياً، ثابتاً يعتمد على استدلال نوع هندلي - ميلنر. ابتكاراتها الرئيسية في هذا المجال هي فئات النوع، التي تم تصورها في الأصل كطريقة مبدئية لإضافة التحميل الزائد إلى اللغة،ولكن منذ العثور على العديد من الاستخدامات.

التركيب الذي يمثل الآثار الجانبية هو مثال على موناد. موناد عبارة عن إطار عام يمكنه نمذجة أنواع مختلفة من الحسابات، بما في ذلك معالجة الأخطاء، عدم التحديد، تفسير الكلمة و ذاكرة معاملات البرمجيات. يتم تعريف موناد على أنها أنواع بيانات عادية، لكن هاسكل توفر بعض التجميل اللغوي لاستخدامها.

هاسكل لها مواصفات مفتوحة منشورة، و توجد تطبيقات متعددة. تطبيقه الرئيسي، مصرِّف گلاسگو هاسكل (GHC)، هو مترجم و مترجم كود أصلي يعمل على معظم الأنظمة الأساسية. تمت ملاحظة GHC لنظامها الغني الذي يشتمل على الابتكارات الحديثة مثل نوع البيانات الجبرية المعمم ومجموعات النوع. تسلط لعبة معايير لغة الحاسب الضوء أيضاً على تنفيذها عالي الأداء لـ التزامن و التوازي.

يتواجد مجتمع نشط ومتزايد حول اللغة، وتتوفر أكثر من 5400 مكتبة وأدوات مفتوحة المصدر تابعة لجهات خارجية في مستودع قرصنة الحزم عبر الإنترنت.

 أمثلة على الشيفرة

انظر أيضاً: ميزات هاسكل § أمثلة

برنامج "Hello، World!" في هاسكل (السطر الأخير فقط هو الضروري للغاية):

module Main (main) where          -- not needed in interpreter, is the default in a module file

main :: IO ()                     -- the compiler can infer this type definition
main = putStrLn "Hello, World!"

تم تعريف الدالة العاملية في هاسكل، بعدة طرق مختلفة:

-- Type annotation (optional, same for each implementation)
factorial :: (Integral a) => a -> a

-- Using recursion (with the "ifthenelse" expression)
factorial n = if n < 2
              then 1
              else n * factorial (n - 1)

-- Using recursion (with pattern matching)
factorial 0 = 1
factorial n = n * factorial (n - 1)

-- Using recursion (with guards)
factorial n
   | n < 2     = 1
   | otherwise = n * factorial (n - 1)

-- Using a list and the "product" function
factorial n = product [1..n]

-- Using fold (implements "product")
factorial n = foldl (*) 1 [1..n]

-- Point-free style
factorial = foldr (*) 1 . enumFromTo 1

نظراً لأن النوع عدد صحيح يحتوي على دقة عشوائية، فإن هذا الرمز سيحسب قيماً مثل factorial 100000 (رقم مكون من 456،574 رقماً)، بدون فقدان الدقة.

تنفيذ خوارزمية مشابهة لـ الفرز السريع على القوائم، حيث يتم أخذ العنصر الأول كمحور:

-- Type annotation (optional, same for each implementation)
quickSort :: Ord a => [a] -> [a]

-- Using list comprehensions
quickSort []     = []                               -- The empty list is already sorted
quickSort (x:xs) = quickSort [a | a <- xs, a < x]   -- Sort the left part of the list
                   ++ [x] ++                        -- Insert pivot between two sorted parts
                   quickSort [a | a <- xs, a >= x]  -- Sort the right part of the list

-- Using filter
quickSort []     = []
quickSort (x:xs) = quickSort (filter (<x) xs)
                   ++ [x] ++
                   quickSort (filter (>=x) xs)

 التطبيقات

يتم توزيع جميع التطبيقات المدرجة بموجب تراخيص مفتوحة المصدر.

تشمل التطبيقات التي تتوافق تماماً أو تقريباً مع معيار هاسكل 98 ما يلي:

• يجمع مصرِّف گلاسگو هاسكل (GHC) إلى كود أصلي في العديد من بنى المعالجات المختلفة، وإلى آنسي سي، عبر واحد من لغتين وسيطتين: سي--، أو في الإصدارات الأحدث، LLVM (المعروف سابقاً باسم آلة افتراضية منخفضة المستوى). أصبحت GHC هي اللغة القياسية الفعلية.هناك مكتبات (على سبيل المثال، روابط لـ جي‌إل المفتوحة) التي تعمل فقط مع GHC. يتم توزيع GHC أيضاً مع منصة هاسكل.
• يؤكد Jhc، مترجم هاسكل الذي كتبه جون ميشام، على سرعة وكفاءة البرامج التي تم إنشاؤها واستكشاف تحولات البرامج الجديدة.
  • Ajhc هو فرع Jhc.
• مترجم أوتريخت هاسكل (UHC) هو تطبيق هاسكل من جامعة أوتريخت. الذي يدعم جميع ميزات هاسكل 98 تقريباً بالإضافة إلى العديد من الإضافات التجريبية. يتم تنفيذه باستخدام قواعد النحو ويستخدم حالياً في الغالب للبحث في أنظمة الكتابة المُولدة وملحقات اللغة.

تشمل التطبيقات التي لم تعد تتم صيانتها بشكل فعال ما يلي:

• نظام گوفر لمستخدم هاسكل (هگز) هو مترجم بايت‌كود. كانت إحدى التطبيقات الأكثر استخداماً على نطاق واسع، إلى جانب مترجم ولكن تم استبدالها في الغالب بـ GHCi. كما يأتي مع مكتبة رسومات.
• HBC هو تطبيق أولي يدعم هاسكل 1.4. تم تنفيذه من قبل لنارت أوگستسن في إم‌إل حسب الحاجة والمستندة إليها. لم يتم تطويره بفعالية لبعض الوقت.
• nhc98 هو مترجم للبايت‌كود والذي يركز على تقليل استخدام الذاكرة.
  • كان مترجم يورك هاسكل (Yhc) فرعاً لـ nhc98، بهدف أن يكون أبسط وأكثر قدرة على النقل والفعالية، ودمج الدعم لهات، متتبع هاسكل. كما أن لديها خلفية جاڤا سكرپت، مما يسمح للمستخدمين بتشغيل برامج هاسكل في متصفحات الوب.

تتضمن التطبيقات غير المتوافقة مع هاسكل 98 بشكل كامل، وتستخدم لغة هاسكل المتغيرة:

• إيتا و فريج هما لغات من هاسكل تستهدفان آلة جاڤا الافتراضية.
• گوفر كانت لغة تعليمية لهاسكل، مع ميزة تسمى فئات المنشئ، التي طورها مارك جونز. وقد حل محله هگز (نظام گوفر لمستخدم هاسكل).
• هليوم، وهي لغة أحدث من هاسكل. ينصب التركيز على تسهيل التعلم عبر رسائل خطأ أوضح. يفتقر حالياً إلى الدعم الكامل لفئات النوع، مما يجعله غير متوافق مع العديد من برامج هاسكل.

 التطبيقات البارزة

• كابال هي أداة لـ بناء وتعبئة مكتبات وبرامج هاسكل.
• داركس هو نظام مراقبة المراجعة مكتوب بلغة هاسكل، مع العديد من الميزات المبتكرة، مثل التحكم الأكثر دقة في التصحيحات المراد تطبيقها.
• GHC غالباً ما يكون أيضاً اختباراً لميزات البرمجة الوظيفية المتقدمة والتحسينات في لغات البرمجة الأخرى.
• گت-آنكس هي أداة لإدارة ملفات البيانات (الكبيرة) تحت التحكم في الإصدار گت. كما يوفر نظام مزامنة الملفات الموزعة (مساعد گت-آنكس).
• اختار لينسپاير GNU / لينكس هاسكل لتطوير أدوات النظام.
• پاندوك هي أداة لتحويل تنسيق العلامات إلى تنسيق آخر.
• پگز هو مترجم و مفسر لـ لغة البرمجة راكو (سابقاً پرل 6).
• إكس‌موناد هو مدير نوافذ لـ نظام النافذة X، والمكتوب بالكامل بلغة هاسكل.

 في الصناعة

• لغة SystemVerilog بلوزسپك (BSV) وهي لغة لتصميم أشباه الموصلات وهي ملحق لـ هاسكل. أيضاً، يتم تنفيذ أدوات شركة بلوزسپك في هاسكل.
• تم تطبيق كرپتول، وهي لغة وأدوات لتطوير الخوارزميات [[علم]التعمية|التعمية] والتحقق منها، في هاسكل.
• ينفذ فيسبوك برامج مكافحة البريد العشوائي في هاسكل، والحفاظ على مكتبة الوصول إلى البيانات الأساسية كـبرمجيات مفتوح المصدر.
• قام گيت‌هَب بتطبيق الدلاليات، وهي مكتبة مفتوحة المصدر لتحليل وتنويع وتفسير شيفرة المصدر غير الموثوق بها، في هاسكل.
• seL4، أول نوية، تم التحقق منها رسمياً وقد تم استخدام هاسكل كلغة نماذج أولية لمطور نظام التشغيل.^:p.2في الوقت نفسه، حددت شيفرة هاسكل مواصفات قابلة للتنفيذ يمكن من خلالها التفكير، للترجمة الآلية بواسطة أداة إثبات المبرهنات.^:p.3 وهكذا فإن شيفرة هاسكل كانت بمثابة نموذج أولي وسيط قبل التنقيح النهائي للغة سي.^:p.3

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

 في الوب

تتضمن إطارات عمل الوب البارزة المكتوبة لـ هاسكل:

• سناپ
• يسُد

 الانتقاد

ناقش يان-ڤيليم مايسين، في عام 2002، و سيمون پيتون جونز، في عام 2003، المشكلات المرتبطة بالتقييم حسب الحاجة مع الاعتراف أيضاً بالدوافع النظرية لذلك. بالإضافة إلى اعتبارات عملية بحتة مثل تحسين الأداء، وقد لاحظوا أنه بالإضافة إلى إضافة بعض النفقات العامة للأداء، فإن التقييم البطيء يجعل من الصعب على المبرمجين التفكير في أداء الشيفرة الخاصة بهم (خاصة استخدام المساحة الخاصة بها). لاحظ كل من باستيان هيرين، ودان ليين، وأريان ڤان إيجيندورن في عام 2003 أيضاً بعض العقبات أمام متعلمي هاسكل: "تعد البنية الدقيقة ونظام النوع المتطور في هاسكل سيفاً ذا حدين - يحظى بتقدير كبير من قبل المبرمجين ذوي الخبرة ولكنه أيضاً مصدر إحباط بين المبتدئين، لأن عمومية هاسكل تؤدي غالباً إلى رسائل خطأ مشفرة."لمعالجة هذه المشكلات، طور باحثون من جامعة أوترخت مترجماً متقدماً يسمى هيليوم، مما أدى إلى تحسين سهولة استخدام رسائل الخطأ عن طريق الحد من عمومية بعض ميزات هاسكل، وعلى وجه الخصوص إزالة دعم فئات النوع. قام بن لپماير بتصميم دسايپلباعتبارها لغة صارمة افتراضياً (وحسب الحاجة من خلال التعليقات التوضيحية الصريحة) هاسكل مع نظام النوع والتأثير، لمعالجة صعوبات هاسكل في التفكير حول التقييم البطيء وفي استخدام هياكل البيانات التقليدية مثل المصفوفات.وقد ناقش (p. 20) بأن "التحديث الهدام يزود المبرمج بأداتين مهمتين وقويتين ... مجموعة من هياكل البيانات الشبيهة بالمصفوفات لإدارة مجموعات الكائنات، و ... القدرة على بث قيمة جديدة لجميع أجزاء البرنامج بأقل عبء على المبرمج."

أعطى روبرت هارپر، أحد مؤلفي إم‌إل المعيارية، أسبابه لعدم استخدام هاسكل لتعليم البرمجة التمهيدية. من بين هذه صعوبة التفكير حول استخدام الموارد مع التقييم غير الصارم، وهذا التقييم حسب الحاجة يقوم بتعقيد تعريف أنواع البيانات والاستدلال الاستقرائي، و "دونية" نظام الفصل (القديم) في هاسكل مقارنة بنظام الوحدات النمطية في إم‌إل.

تعرضت أداة بناء هاسكل، كابال ، تاريخياً لانتقادات بسبب سوء التعامل مع إصدارات متعددة من نفس المكتبة، وهي مشكلة تُعرف باسم "كابال هل". تم إنشاء مخدم التكديس و المكدس رداً على هذه الانتقادات. لدى كابال نفسها الآن نظام بناء أكثر تعقيداً، مستوحى بشكل كبير من نكس، والذي أصبح الافتراضي مع الإصدار 3.0.

 اللغات المرتبطة

كلين وهي لغة قريبة وأقدم قليلًا من هاسكل. أكبر انحراف لها عن هاسكل هو استخدام نوع التفرد بدلاً من مونادز للإدخال / الإخراج والآثار الجانبية.

تم تطوير سلسلة من اللغات المستوحاة من هاسكل، ولكن بأنظمة مختلفة، بما في ذلك:

• آگدا، لغة وظيفية بها أنواع تابعة.
• كايين، مع أنواع تابعة.
• إلم، لغة وظيفية لإنشاء تطبيقات الوب الأمامية، لا يوجد دعم للأنواع عالية الجودة.
• إپگرام، لغة وظيفية ذات أنواع تابعة مناسبة لإثبات خصائص البرامج.
• إدريس، لغة وظيفية للأغراض العامة مع أنواع تابعة، تم تطويرها في جامعة سانت أندروز.
• پيورسكرپت التي تحول إلى جاڤاسكرپت.
• أوميگا صارمة إلى حد بعيد.

تشمل اللغات الأخرى المرتبطة:

• كيري، لغة برمجة وظيفية / منطقية مبنية على هاسكل.

تشمل متغيرات هاسكل البارزة ما يلي:

• هاسكل عامة، وهي نسخة من هاسكل مع دعم نظام النوع لـ البرمجة العامة.
• هيوم، وهي لغة وظيفية صارمة لـ الأنظمة المضمنة والتي تعتمد على العمليات مثل التلقائية عديمة الحالة عبر نوع من مجموعات قنوات صندوق بريد عنصر واحد حيث يتم الاحتفاظ بالحالة عن طريق التغذية العكسية في علب البريد، ووصف تخطيط من المخرجات إلى القنوات مثل الأسلاك الصندوقية، مع لغة تعبير وصيغة تشبه هاسكل.

 المؤتمرات وورشات العمل

يلتقي مجتمع هاسكل بانتظام لأنشطة البحث والتطوير. والأحداث الرئيسية هي:

• المؤتمر الدولي حول البرمجة الوظيفية (ICFP)
• ندوة هاسكل (ورشة هاسكل سابقاً)
• ورشة مطوري هاسكل
• المستخدمون التجاريون للبرمجة الوظيفية (CUFP)

منذ عام 2006، حدثت سلسلة من "الهاكاثونات" المنظمة، سلسلة هاك، والتي تهدف إلى تحسين أدوات لغة البرمجة والمكتبات.

 للاستزادة

التقارير

• Peyton Jones, Simon, ed. (2003). Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press. ISBN 978-0521826143.
• Marlow, Simon, ed. (2010). Haskell 2010 Language Report (PDF). Haskell.org.

الكتب التدريسية

• Davie, Antony (1992). An Introduction to Functional Programming Systems Using Haskell. Cambridge University Press. ISBN 978-0-521-25830-2.
• Bird, Richard (1998). Introduction to Functional Programming using Haskell (2nd ed.). Prentice Hall Press. ISBN 978-0-13-484346-9.
• Hudak, Paul (2000). The Haskell School of Expression: Learning Functional Programming through Multimedia. New York: Cambridge University Press. ISBN 978-0521643382.
• Hutton, Graham (2007). Programming in Haskell. Cambridge University Press. ISBN 978-0521692694.
• O'Sullivan, Bryan; Stewart, Don; Goerzen, John (2008). Real World Haskell. Sebastopol: O'Reilly. ISBN 978-0-596-51498-3 (full text) {{cite book}}: External link in |postscript= (help)CS1 maint: postscript (link)
• Thompson, Simon (2011). Haskell: The Craft of Functional Programming (3rd ed.). Addison-Wesley. ISBN 978-0201882957.
• Lipovača, Miran (أبريل 2011). Learn You a Haskell for Great Good!. San Francisco: No Starch Press. ISBN 978-1-59327-283-8. (full text)
• Bird, Richard (2014). Thinking Functionally with Haskell. Cambridge University Press. ISBN 978-1-107-45264-0.

دورات تعليمية

• Hudak, Paul; Peterson, John; Fasel, Joseph (يونيو 2000). "A Gentle Introduction To Haskell, Version 98". Haskell.org.
• Yet Another Haskell Tutorial, by Hal Daumé III; assumes far less prior knowledge than official tutorial
• Yorgey, Brent (12 مارس 2009). "The Typeclassopedia" (PDF). The Monad.Reader (13): 17–68.
• Maguire, Sandy (2018). Thinking with Types: Type-Level Programming in Haskell.

تاريخ

• Hudak, Paul; Hughes, John; Peyton Jones, Simon; Wadler, Philip (2007). "A History of Haskell: Being Lazy with Class" (PDF). Proceedings of the Third ACM SIGPLAN Conference on History of Programming Languages (HOPL III): 12–1–55. doi:10.1145/1238844.1238856. ISBN 978-1-59593-766-7. S2CID 52847907.
• Hamilton, Naomi (19 سبتمبر 2008). "The A-Z of Programming Languages: Haskell". Computerworld.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

 وصلات خارجية

• Official website
• Official wiki