Tag: 组成的

（具有certificate）显示monad没有closures的具体例子？

众所周知，应用函子在构图下是封闭的，但monad不是。 然而，我一直无法find一个具体的反例，表明monad并不总是构成。 这个答案给出了[String -> a]作为非monad的例子。 在玩了一下之后，我直觉地相信，但是这个答案只是说“连接不能实现”而没有给出任何理由。 我想要更正式的东西。 当然还有很多types为[String -> [String -> a]] -> [String -> a]的函数。 必须表明任何这样的function必然不符合单子法。 任何示例（附带certificate）都可以; 我不一定特别寻找上述例子的certificate。