檜山正幸のキマイラ飼育記 - 世界で一番か二番くらいにやさしい「モナド入門」

気まぐれと偶然となりゆきで、ここ2,3回はモナドを話題にしました。googleで「モナド」を引いてザッと眺めると、「モナドはむずかしいー」とか「モナドで挫折した」みたいな雰囲気が感じられて、説明芸人の血が少し騒ぎましたね。「なら、予備知識ゼロでモナドの説明をしてやろうじゃねーか」と。 タイトルはだいぶ煽っちゃった…… けど、ハッタリじゃないつもり…… けど、実際はどうかな？ ※印刷のときはサイドバーが消えます。 内容： とりあえず、あたりさわりなくモナドの来歴を紹介する こんな課題を考えてみよう：副作用付き計算 カウントアップする関数達 カウントアップしたい意志を戻り値で伝える それでは、いったい誰がカウントアップをするのだ 関数の引数の型をCountup型にまで拡張する そして、これがモナドだ とりあえず、あたりさわりなくモナドの来歴を紹介する 今からここで説明する「モナド（monad）

[hosoday999]

モナド！

[kanbayashi]

fmfm

[atyks]

世界で一番か二番くらいにやさしい「モナド入門」 - 檜山正幸のキマイラ飼育記

[TaKUMA]

モナドが少し分かった気になった。

[kzfm]

モナド

[paz3]

読んでみましたが、頭が固いためか、まだピンときません。何か別の言語で手作業で練習してみたいと思います。

[tanakaBox]

途中まで読んだ。

[hitsujibane]

参照透明であるために、汚れ仕事を押し付ける対象がモナド

[twobit]

[math]

[kankichu]

継続やダエモンさんと関係あるような希ガス。

[harupiyo]

モナドが - なんとなく - わかった

[webmarksjp]

読む

[tarchan]

モナドってモナー？

[HHa]

最近関数型オブジェクト指向言語Scalaに嵌っているのでチェック！

[yyamano]

副作用がある関数を計算途中で評価したい場合も同じ仕組みでいける?

[tkuro]

やっと分かったMonad.有り難うございました

[kenkitii]

monadsのわかり易い解説

[sagi-usagi]

モナド

[kusigahama]

あ、あ、あー、ほんとだ、副作用が消えてる！　８本の鉛筆が７本に！　エウレーカ！　３回読み直した甲斐があった！／てか開発中には（依存性を減らすために）普通に行う操作だけど、この一連の

[ma2]

モナド。ああモナド。モナド。

[crossbreed]

アタマが破裂しそうです

[yujiorama]

純粋な関数と型を返す関数を組み合わせてできる環境のようなもの？

[oto-oto-oto]

分かったような気にさせてくれた。

[uemu]

モナド！

[mainyaa]

そのうち読む。

[kdaiba]

う〜ん

[mind]

①関数から副作用を取り除き（汚れ作業はCountupMainに押しつけ）、②代わりに戻り値に副作用の意図を詰め込み、③それによって失われた関数結合の自由さを関数の拡張により取り戻しました。

[drawnboy]

よみますとも

[usj12262]

この記事を読む限りでは、モナド＝拡張隊(型を拡張・関数を拡張・値を拡張)。プログラムを純関数(大域変数をいじらない)ベースにするのが仕事。ほかにモナド法則というのがモナドを名乗れる条件らしい。