言語ゲーム

とあるエンジニアが嘘ばかり書く日記

Twitter: @propella

2007-01-05から1日間の記事一覧

ぼくがかんがえたモナド

分かってないままに適当こいて今の理解を書きます。モナドとは、プログラムの行う動作のうち、データの流れとデータの加工を別々に書いて別々に抽象化するものなのかなという感想を抱いています。unix プログラミングで言うとコマンドが関数でシェルのパイプ…

リストとしての haskell モナド。内包表現と do と >>=

モナドをリストとして使う事の利点の一つに、内包表現というのがあるそうです。内包表現とは、数学で集合を現すときに便利な方法、または SQL の SELECT 文に相当する物で、例えばこんな感じ。 [ (x, y) | x <- [0, 1, 2], y <- [3, 4, 5]]これで [0, 1, 2] …