「駄目日記/2006年04月19日/世界一やさしいモナド解説を読んで」の編集履歴（バックアップ）一覧はこちら

「駄目日記/2006年04月19日/世界一やさしいモナド解説を読んで」(2007/07/08 (日) 06:23:10) の最新版変更点

追加された行は緑色になります。

削除された行は赤色になります。

#blognavi

すごい放置してたのに
いきなり更新。


http://d.hatena.ne.jp/m-hiyama/20060419/1145432492
↑ここのおかげで
もやもやしたままなんとなくMonad使ってきたけど、
かなり頭が整理できました。

モナド三点セット(M, ext, unit)はHaskellでは
M :各モナド型 (IO とか Maybeとか)
unit : は return
ext : は liftM (←まちがい。[[訂正記事>http://www3.atwiki.jp/nanakoso/pages/13.html]]）

一番多用する(m >>= f)は  (liftM f) $ m　

ext,liftM　になんで関数適用($)をくっ付けて使うのかは
プログラミング言語としての使い勝手の問題かな？

追記：上記の　liftM は間違い。[[訂正記事>http://www3.atwiki.jp/nanakoso/pages/13.html]]

#right{
カテゴリ: [[[プログラミング>駄目日記/カテゴリ/プログラミング]]] - &trackback() - 2006年04月19日 18:50:33
}


#comment(nostyle,nsize8,size30)
#blognavi

#blognavi

すごい放置してたのに
いきなり更新。


http://d.hatena.ne.jp/m-hiyama/20060419/1145432492
↑ここのおかげで
もやもやしたままなんとなくMonad使ってきたけど、
かなり頭が整理できました。

モナド三点セット(M, ext, unit)はHaskellでは
M :各モナド型 (IO とか Maybeとか)
unit : は return
ext : は liftM (←まちがい。[[訂正記事>http://www3.atwiki.jp/nanakoso/pages/13.html]]）

一番多用する(m >>= f)は  (liftM f) $ m　

ext,liftM　になんで関数適用($)をくっ付けて使うのかは
プログラミング言語としての使い勝手の問題かな？

追記：上記の　liftM は間違い。[[訂正記事>http://www3.atwiki.jp/nanakoso/pages/13.html]]

#right{
カテゴリ: [[[プログラミング>駄目日記/カテゴリ/プログラミング]]] - &trackback() - 2006年04月19日 18:50:33
}


- LOiklxvZnTAFz  -- adult comics  (2007-07-08 06:23:10)
#comment(nostyle,nsize8,size30)
#blognavi