एमटीएल लाइब्रेरी की कौन सी भाषा एक्सटेंशन की आवश्यकता है?

Question

मैं मौजूदा लोगों के डिज़ाइनों के आधार पर अपनी छोटी लाइब्रेरी को लागू करके मोनाड ट्रांसफार्मर को समझने की कोशिश कर रहा हूं।

जो मैं फंस गया हूं वह भाषा एक्सटेंशन है। MonadError में, उल्लेख किया गया एकमात्र विस्तार UndecidableInstances है। हालांकि, मुझे FunctionalDependencies और FlexibleInstances का उपयोग किए बिना संकलित करने के लिए समान कोड नहीं मिल सकता है।

class (Monad m) => MonadError e m | m -> e where 

और एक लचीला उदाहरण:

instance MonadError e m => MonadError e (MaybeT m) where 

कैसे MonadError कोड अतिरिक्त दो एक्सटेंशन से बचने करता

उदाहरण है कि मेरा मानना ​​है कि FunDeps की आवश्यकता है?

Answer 1

आपको स्रोत फ़ाइल में सभी एक्सटेंशन को स्पेल करने की आवश्यकता नहीं है। सभी/अधिकांश मॉड्यूल द्वारा उपयोग किए जाने वाले सामान्य एक्सटेंशन को परियोजना की कैबल फ़ाइल में सूचीबद्ध किया जा सकता है। mtl's case में:

extensions: 
    MultiParamTypeClasses 
    FunctionalDependencies 
    FlexibleInstances