Tại sao không thể có một trường hợp của MonadFix cho đơn nguyên tiếp tục?

Question

Làm cách nào chúng tôi có thể chứng minh rằng the continuation monad không có phiên bản hợp lệ của MonadFix?

Answer 1

Thực ra, không phải là không thể có một phiên bản MonadFix, chỉ loại thư viện hơi bị ràng buộc một chút. Nếu bạn xác định ContT khắp nơi có thể r s, sau đó không chỉ MonadFix trở thành có thể, nhưng tất cả các trường lên đến Monad yêu cầu gì về functor cơ bản:

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)