हास्केल

Question

मैकलेन, अवोडी और स्पाइवक किताबों के आधार पर श्रेणी सिद्धांत का अध्ययन करने के बाद, मैं हास्केल में मुफ्त/परिचालन मोनड को समझने की कोशिश कर रहा हूं।

हम Control.Monad.Free का उपयोग करके Data.Functor.Coyoneda के साथ एक मज़ेदार में बदलने के बाद केवल डेटा प्रकार से एक मोनड प्राप्त कर सकते हैं, जो योनना लेम्मा नामक गणितीय पृष्ठभूमि पर आधारित है।

लेकिन मैं पूरी तरह से समझ नहीं पा रहा हूं कि योनि लेम्मा पर भरोसा करने के बजाय जीएचसी में प्राप्त करने वाले फंक्चर एक्सटेंशन द्वारा मज़ेदार स्वचालित रूप से उत्पन्न किया जा सकता है।

Data.Functor.Coyoneda की तुलना में जीएचसी में व्युत्पन्न मज़ेदार का उपयोग करने के लिए कोई प्रतिबंध है?

Answer 1

अच्छा सवाल!

Coyoneda और DeriveFunctor अलग-अलग चीजें करें। Coyoneda एक नया, अलग डेटाटाइप बनाता है जो तर्क के किसी भी विकल्प के लिए Functor होता है। DeriveFunctor बस उन प्रकार के लिए बॉयलरप्लेट कोड जेनरेट करता है जो फ़ैक्टर स्वयं ही हैं। आप केवल Functor उदाहरण प्राप्त कर सकते हैं जिनके लिए आप हाथ से ऐसा उदाहरण लिख सकते हैं।

एक (कुछ काल्पनिक) उदाहरण के रूप में newtype Pred a = Pred (a -> Bool) लें: कोई instance Functor Pred क्योंकि Pred अपने a पैरामीटर में contravariant है, इसलिए DeriveFunctor तुम्हारी मदद करने में सक्षम नहीं होगा। दूसरी तरफ Coyoneda Pred एक Functor है क्योंकि Coyoneda fFunctor है, हालांकि f के लिए कोई भी उपयोगी नहीं है।

एक तरफ के रूप में, Freer monadFree से Coyoneda के अनुप्रयोग के रूप में उभरा।