निर्भर हैस्केल के साथ बग खत्म करना (अनुभव रिपोर्ट)

उत्पादन कोड में निर्भर प्रकारों का उपयोग त्रुटियों को समाप्त करने का एक व्यावहारिक तरीका है। जबकि कोड के बारे में अपरिवर्तनीयता साबित करने के लिए निर्भर हैस्केल का उपयोग करने के कई उदाहरण हैं, इनमें से कुछ बड़े पैमाने पर उत्पादन प्रणालियों पर लागू हैं। आलोचकों का कहना है कि निर्भर प्रकार केवल खिलौनों के उदाहरणों में उपयोगी होते हैं और वास्तविक दुनिया में उपयोग के लिए अप्रायोगिक होते हैं। यह अनुभव रिपोर्ट वास्तविक दुनिया के उदाहरणों का विश्लेषण करती है जहां निर्भर प्रकारों ने हमें उत्पादन हैस्केल कोड में बग खोजने और समाप्त करने में सक्षम बनाया।