令我感到震惊的是,每个monad理解都以a结尾return.这不能有效地使它们与应用程序编程同构吗？为什么我们有一个Monad约束的monad理解而不是一个约束的应用理解Applicative？
对于Applicative来说,这种类似于符号的符号类似于monad理解.
Sjo*_*her 14
不.你可以用monad comprehensions编写bind:
m >>= f == [ b | a <- m, b <- f a ]
| 归档时间： |
|
| 查看次数： |
208 次 |
| 最近记录： |