モナドはメタファーではない · eed3si9n

2011-05-28 Scala界の関数型プログラミング一派を代表する論客の一人、@djspiewak が 2010年に書いた “Monads Are Not Metaphors” を翻訳しました。翻訳の公開は本人より許諾済みです。翻訳の間違い等があれば遠慮なくご指摘ください。 2010年12月27日 Daniel Spiewak 著 2011年5月29日 e.e d3si9n 訳 僕は今、約束を破るところだ。およそ三年前、僕は絶対にモナドの記事だけは書かないと自分に約束した。既にモナドに関する記事は有り余っている。記事の数が多すぎてその多さだけで多くの人は混乱している。しかも全員がモナドに対して異なる扱い方をしているため、モナドの概念を初めて学ぼうとする者は、ブリトー、宇宙服、象、砂漠のベドウィン (訳注: アラブ系遊牧民) の共通項を探す努力をするハメになっている。 僕は、この混乱した

[kingler]

ゼノブレイドかと思って開いて5秒で閉じた。 人の扱える領域じゃ無かった。

[l-_-ll]

「もし何かから始めて、それを分解した後で、同じ型の別の何かを計算した時、それはモナドだ」「モナドは順次的な計算 (sequential computation) と合成可能性 (composability) に対する理解の骨組みを授けてくれる」

[Peranikov]

この記事でモナドがモナっと理解できた

[xxxxxeeeee]

s/第二の公理による結果/第三の公理による結果/

[natsutan]

すごいHを読んだ後だとわかる！

[Windymelt]

これまで読んだ中で一番分かりやすい。Scala, Rubyによる巧みな例示が見事。

[coolstyle]

こんなにわかりやすいモナドの記事があったとは

[ympbyc]

わかった

[theatrical]

22時に読む

[daiksy]

ななめ読みして、なんとなくモナドがわかった気になってきた！

[simpleplay]

;がモナドだと考えたことなかった。"モナドは、ほぼ全てのコードに現れるパターンに付された抽象的な数学のラベルだ。"

[flower_room]

「モナドのすべて」を見てもさっぱりわからなかったがこれはちょっわかった感じがする。翻訳ありがとうございます。何回か読む。

[mattn]

「もし何かから始めて、それを分解した後で、同じ型の別の何かを計算した時、それはモナドだ」

[Nagatani]

「モナドの理解で最も難しい所は、最も難しい所がそんなに難しくないということに気づくことだろう。」

[Dryad]

これまでネットで読んだ解説記事の中では、一番分かりやすい。特に、実践的な議論が好きな人にお勧め。

[penult]

わかりやすいモナドの解説

[todesking]

よんだ

[tanigon]

monad モナド functional programming...!

[rintetra]

モナドはメタファーではない

[FIV]

あとでじっくり読みたい

[kzfm]

モナドはメタファーではない

[nazoking]

すごい！わかりやすい！

[akirahs]

あとで読む。

[YoY]

なるほど,わからん><

[naruoga]

面白そうなんだけど、今は余裕が無い。手を動かしながら読みたいね。

[h-hirai]

おー、すばらしー。

[yojik]

これわかりやすいし、文章も面白い

[ruicc]

"モナドの一般概念を理解するべき理由の二つ目は、突然便利な関数を大量に定義できるようになることだ。"

[t_yano]

うん、わかりやすい／『僕と同じような考えなら、以下の疑問を持っていることだろう: もしそんなに単純なら、なんで皆大騒ぎしてるの？』

[bleis-tift]

よむ