申请人撰写,monad没有.
上述陈述是什么意思？什么时候比其他人更好？
monads haskell functional-programming monad-transformers applicative
众所周知,应用函子在组合下是封闭的,但是monad不是.但是,我一直难以找到一个具体的反例,表明monad并不总是构成.
这个答案给出[String -> a]了一个非monad的例子.在玩了一下之后,我直觉地相信它,但是这个答案只是说"加入无法实现"而没有给出任何理由.我想要更正式的东西.当然有很多类型的函数[String -> [String -> a]] -> [String -> a]; 必须表明任何这样的功能必然不符合monad法则.
任何例子(附带证据)都可以; 我不一定特别想要证明上述例子.
该Typeclassopedia的单子变形金刚节介绍:
不幸的是,monad并不像applicative functor那样组合(如果你不需要Monad提供的全部功能,那么使用Applicative的另一个原因)
纵观类型的>>=和<*>,上面的语句,我不清楚.
(<*>) :: Applicative f => f (a -> b) -> f a -> f b
(>>=) :: Monad m => m a -> (a -> m b) -> m b
请解释一下"monad不像compative functors那样好."
我看了这个答案,但你能举个例子来帮我理解吗？