जब आप type के साथ एक प्रकार का समानार्थी बनाते हैं, तो जब भी इसका स्पष्ट रूप से उपयोग किया जाता है, तो ghc/ghci मूल प्रकार के बजाय इसका उपयोग करेगा, लेकिन कभी भी अनुमानित समानार्थी से अनुमानित प्रकार से काम करने का प्रयास नहीं करेगा। एक प्रकार के लिए सबसे अधिक "अमूर्त" समानार्थी प्राप्त करना जटिल अनुप्रयोगों और पुस्तकालयों को सीखने के लिए बहुत आसान होगा, जो मोनैड स्टैक्स के लिए समानार्थी परिभाषित करते हैं और संभवतः समानार्थी के समानार्थी शब्द परिभाषित करते हैं।हैकेल में समानार्थी शब्द को हल करने का कोई तरीका है?
क्या किसी ने कभी भी कोड का एक टुकड़ा लिखा है? मुझे लगता है कि यह बैकट्रैकिंग होगा और यह कुछ नकली उम्मीदवार भी उत्पन्न करेगा (उदाहरण के लिए यदि दो प्रकार स्ट्रिंग के उपनाम हैं, तो जब भी स्ट्रिंग को हल किया जाना चाहिए तो वे दोनों उम्मीदवार होंगे), लेकिन यह कुछ स्थितियों में उपयोगी हो सकता है।
मैं एक ही विचार के साथ चारों ओर घूम रहा हूं, क्योंकि यह वास्तव में 'पाइप' और 'लेंस' के लिए उपयोगी होगा। आदर्श रूप में आप कुछ प्रकार के कंपाइलर प्रगामा निर्दिष्ट करेंगे जो एक नियम की तरह कार्य करता है, अनुमानित प्रकार में एक पैटर्न से मेल खाता है और समकक्ष प्रकार समानार्थी को पुनः लिखता है (यदि कई मिलान होते हैं तो कुछ प्रकार की प्राथमिकता के साथ)। –
मुझे कुछ दिनों पहले पढ़ने वाले ब्लॉग पोस्ट की याद दिलाई गई है, जिसमें "चतुलू के प्रकार हस्ताक्षर" का उल्लेख किया गया है: http://joelt.io/entries/yesod-in-production – BruceBerry
यह किसी जीएसओसी या इसी तरह के – jozefg