标签： haskell
令我感到震惊的是，每个monad理解都以return结束。这不能有效地使它们与应用程序编程同构吗？为什么我们有Monad约束的monad理解而不是Applicative约束的适用理解？
return
Monad
Applicative
这个do-like notation for Applicative同样让我觉得与monad理解非常相似。
答案 0 :(得分：14)
没有。你可以用monad comprehensions编写bind：
m >>= f == [ b | a <- m, b <- f a ]