तो, बस मस्ती के लिए, मैं पेनो नंबर और smart constructors का उपयोग करके, हास्केल में एक काउंटरडलिस्ट प्रकार के साथ खेल रहा हूं। टाइप-सुरक्षित head और tail बस मुझे वास्तव में अच्छा लगता है। और मुझे लगता
जब मैं किसी त्रुटि में भाग गया तो मैं अस्तित्व के रिकॉर्ड के लिए रिकॉर्ड अपडेट का उपयोग करने का प्रयास कर रहा था। एक त्वरित Google ने मुझे feature request #2595 पर ले जाया, जो इसे जीएचसी के लिए संस्कर
मैंने विलियम कुक के "ऑन डाटा एब्स्ट्रक्शन, रेविजिटेड" को पढ़ा, और हास्केल में पूर्व पेपर के विचारों को लागू करने के तरीके को समझने के लिए राल्फ लाममेल की "अभिव्यक्ति लेम्मा" को फिर से पढ़ा। तो, मैं यह
में राज्य मोनैड मैं ओकैमल (एक अभ्यास के रूप में) में राज्य मोनड को लागू करने की कोशिश कर रहा था। मेरे कार्यान्वयन इस तरह दिखता है: module type MONAD_BUILDER =
sig
type 'a t
val return : 'a
संपादित करें: त्रुटि संदेश के महत्वपूर्ण भाग को इंगित करने वाले डेरेक के लिए धन्यवाद, मैं महत्वपूर्ण भाग को थोड़ा और निकालने में सक्षम था और यह मौजूदा प्रकारों के बारे में प्रतीत होता है। यदि मैं §3.2
में सामान्य समारोह मान लीजिए मैं एक यौगिक डेटा प्रकार है - data M o = M (String,o)
अब, मैं एक समारोह है कि सभी Mo पर ध्यान दिए बिना के लिए काम करता परिभाषित कर सकते हैं। उदाहरण के लिए - f :: M o ->