6

すべてのモナド内包表記がreturn. それは事実上それらを応用的プログラミングに同形にしないでしょうか? Monad制約付きの適用内包表記ではなく、制約付きのモナド内包表記があるのはなぜApplicativeですか?

このApplicative の do のような表記法は、モナド内包表記に非常に似ているように思えます。

4

1 に答える 1

14

いいえ。モナド内包表記で bind を書くことができます:

m >>= f == [ b | a <- m, b <- f a ]
于 2012-09-22T17:51:01.337 に答える