相关疑难解决方法(0)

我见过的长期免费单子弹出每一个 现在 和 随后一段时间,但每个人似乎只是使用/讨论这些问题没有给予它们是什么解释.所以:什么是免费的monads？(我会说我熟悉monad和Haskell的基础知识,但对类别理论只有非常粗略的了解.)

有很多关于Applicative 不需要自己的变压器类的讨论,如下所示:

class AppTrans t where
    liftA :: Applicative f => f a -> t f a

但我可以定义似乎不是应用程序组合的应用变换器!例如,有效的流:

data MStream f a = MStream (f (a, MStream f a))

提升只是在每一步都执行副作用:

instance AppTrans MStream where
    liftA action = MStream $ (,) <$> action <*> pure (liftA action)

如果f是一个应用程序,那么MStream f也是如此:

instance Functor f => Functor (MStream f) where
    fmap fun (MStream stream) = MStream $ (\(a, as) -> (fun a, fmap fun as)) <$> …