ボンジュール・マドモアゼル

本サイトの情報は自己責任にてご利用下さい。

[Haskell] Haskell Monad >>= binder のイメージ

 
(>>=) :: m a -> (a -> m b) -> m b
下図のオレンジの部分が >>= の行う処理であり、青の部分 (a -> mb) が行う処理である。
  1. >>= は m a を受け取り、
  2. a を引数として (a-> m b) を呼び出す。
  3. (a -> m b) から戻された m b と m a の m を合成し、m b を作り、それを返す。

Haskell モナドのイメージ図

Writerモナドのイメージ図
Writerモナド イメージ図

  1. 2012/07/04(水) 02:05:22|
  2. Haskell|
  3. トラックバック(-)|
  4. コメント:0
<<QuickCheck テスト回数指定 | ホーム | ScaleHeight, ScaleWidth>>

コメント

コメントの投稿

管理者にだけ表示を許可する

画像の文字を半角数字で下記ボックスに記入ください。
文字が読みにくい場合はブラウザの更新をすると新しい文字列が表示されます。