निरंतरता मोनाड के लिए मोनाडफिक्स का उदाहरण क्यों नहीं हो सकता है?

Question

हम कैसे साबित कर सकते हैं कि the continuation monad का MonadFix का कोई वैध उदाहरण नहीं है?

Answer 1

वास्तव में, ऐसा नहीं है कि MonadFix उदाहरण नहीं हो सकता है, बस लाइब्रेरी का प्रकार थोड़ा बाध्य है। आप सभी संभावित r रों अधिक ContT निर्धारित करते हैं तो न केवल MonadFix संभव हो जाता है, लेकिन ऊपर Monad के सभी उदाहरणों अंतर्निहित functor का कुछ भी नहीं की आवश्यकता होती है:

newtype ContT m a = ContT { runContT :: forall r. (a -> m r) -> m r } 
instance Functor (ContT m) where 
    fmap f (ContT k) = ContT (\kb -> k (kb . f)) 
instance Monad (ContT m) where 
    return a = ContT ($a) 
    join (ContT kk) = ContT (\ka -> kk (\(ContT k) -> k ka)) 
instance MonadFix m => MonadFix (ContT m) where 
    mfix f = ContT (\ka -> mfixing (\a -> runContT (f a) ka<&>(,a))) 
    where mfixing f = fst <$> mfix (\ ~(_,a) -> f a)