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