क्या कोई "आवेदक" वर्ग है?

Question

हैकेज में कहीं भी MonadIO के समान एक टाइपक्लास है, लेकिन Applicative एस के लिए, जो IO क्रियाओं को पर "applicative composition stacks" पर आसानी से उठाने की अनुमति देता है?

यदि ऐसा टाइपक्लास अस्तित्व में था, तो इसे Applicative-Monad Proposal के कार्यान्वयन से अप्रचलित कर दिया जाएगा? क्या प्रस्ताव में बाधा MonadIO के लिए बाधा शामिल है?

Answer 1

एक साल पहले a related discussion on haskell-cafe था। Reddit comments में मैंने एक प्राकृतिक परिवर्तन (g) के प्राकृतिक परिवर्तन (g) के an example को एक आवेदक फंक्चर मॉर्फिज्म (यानी, गैब्रियल गोंजालेज का उल्लेख किया है) को पूरा करता है लेकिन यह एक मोनड मॉर्फिज्म नहीं है (यह संबंधित अतिरिक्त कानून को संतुष्ट नहीं करता है >>=)। तो, एएमपी के साथ भी दुनिया में, ApplicativeIO m और MonadIO m वास्तव में अलग-अलग चीजें हैं, भले ही mMonad है!

एक आदर्श दुनिया में आप इस तरह एक सेटअप होगा:

class Functor f => FunctorIO f where 
    liftIO :: IO a -> f a 
    -- such that liftIO is a natural transformation (automatic, by parametricity) 

class (Applicative f, FunctorIO f) => ApplicativeIO f where 
    -- ... and liftIO is an applicative functor morphism 

class (Monad f, ApplicativeIO f) => MonadIO f where 
    -- ... and liftIO is a monad morphism 

और जादुई परियों वास्तव में ApplicativeIO और MonadIO उदाहरणों को परिभाषित करेगा जब इसी कानून संतुष्ट थे।