2010-09-13 do notation Haskell プログラミング 基本的には、(>>)::(Monad m) => m a -> m b -> m bの連鎖のシンタックスシュガー。 ※以下に現れるfsは処理の集まりを表す。 do{f}→f do{f; fs}→f>>do{fs} ただし以下の特殊な動作になる場合が存在する。 do{let decls; fs}→let decls in do{fs} do{x <- f; fs}→let g x = do{fs}; g _ = fail "..." in f >>= g