शायद हास्केल में प्रदर्शन की समस्याओं का मुख्य स्रोत तब होता है जब कोई कार्यक्रम अनजाने में गहराई का एक हिस्सा बनाता है - यह मूल्यांकन करते समय मेमोरी रिसाव और संभावित स्टैक ओवरफ्लो दोनों का कारण बनता है। क्लासिक उदाहरण sum = foldr (+) 0हास्केल में परिभाषित किया गया है।
क्या किसी प्रकार की प्रणालियाँ हैं जो एक आलसी भाषा का उपयोग करते हुए किसी कार्यक्रम में ऐसे ठगों की कमी को लागू करती हैं?
ऐसा लगता है कि कठिनाई के समान क्रम पर होना चाहिए, प्रकार सिस्टम एक्सटेंशन का उपयोग करके अन्य स्थिर प्रोग्राम गुणों को साबित करना, जैसे कि थ्रेड सुरक्षा या मेमोरी सुरक्षा के कुछ स्वाद।