絶対に理解出来ないモナドチュートリアル - konn-san.com

世の中には、恐しい数のモナドチュートリアルがあって、それぞれモナドは象だとか、いや接ぎ木だ とか、プログラマブル・コンテナだとか、プログラム可能なセミコロンだとか、色々な説明がなされている。「モナド チュートリアル」で検索すれば、他にも色々に絵解きされた有象無象のモナドが大量に引っ掛かる。そうそう、モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？なんてのもあったな。 この記事の目的は別に、こうした既存のモナドチュートリアルを「間違ってる！」とか「わかるわけねーよ！」といって貶そうという訳ではない。実際、既に幾多書かれているチュートリアルの中でも、僕の云いたいことと殆んど同じようなことが書かれているものは沢山ある。 では、上の膨大なリストの末尾にまた一つ「わかりやすい比喩」を付け足そうというのか？というとそういう訳でもない。そうそう、モナドは比喩ではないというチュートリアル

[yujiorama]

『コードを書こう』

[todesking]

名文だ

[karatte]

ライプニッツ「思てたんと違う」

[Nkzn]

ようやくすると「グダグダ言わずにコード書けよハゲ」でいいんだろうか

[todays_mitsui]

モナドをイメージで理解するのはもう飽きた。「うお！なんか知らんけど型が合うように書いたらうごいた！俺天才」←こういうのが理想。

[sh19910711]

"「モナドとはモナドである」という説明をいつしか自然と受け容れて使う。それが、プログラミングにおいて「モナドを理解する」ということだろう / 圏論は、数学の様々な抽象化の方法が詰まった道具箱"

[lambdalisue]

これは物凄く大切な考え方だと思う

[kma83]

関数型 モナド

[l-_-ll]

函数型プログラミングの目的。それは合成可能性、モジュラリティだ。その為に、函数型言語の基本は「函数の合成」に置かれている。函数合成こそ、函数型プログラミングの本質だ。

[kikuchi1201]

モナドモナドモナド

[n314]

ブクマしてなかった。今見ると分かりやすい。「足し算」のような基礎的で抽象的な概念で、ただの便利な法則ってことか。

[h-hirai]

なんでか、ぶくましてなかった。

[Qurage]

monad

[stealthinu]

『モナドを使うと副作用の大半を統一的に扱うことができる』『函数合成こそ、函数型プログラミングの本質』なんか自分がまだなにがうれしいのかしっくりきてないカリー化の話とも通じる、のかな？

[d_animal141]

絶対に理解出来ないモナドチュートリアル

[takc923]

理解したけりゃコード書け、という話。人の話に出てくるからモナドって知りたかっただけやねんやけど、書かないとわからんなら諦める。

[efcl]

モナドチュートリアル 習うより慣れろ

[labocho]

道具として使えるようになってから理解する、という話。良い。

[naqtn]

ふむふむ。（Haskel の本は途中で積読になってるなぁ）

[gabuchan]

面白かった！続きが読みたい！

[grafi]

いつの間にやらここに書いてる内容が自明なことに思えるようになっていた（そんな透徹したイメージや理解は持ててないので、読めばそう感じるというだけ）

[kirakking]

絶対に理解できないけど、理解するための入り口として良いのではないかと。おもしろかった。

[Zephid]

モナドってあれだよ、機神兵を斬れる剣。

[saisa6153]

コード書こう

[yukkie_strike]

そう、最初の理解と、計算による慣れは別なのだよね。自転車に乗れるようになる時も同じだ。理解と習得は違う／プログラムは分からないのでモナドについては理解できなかったｗｗ　モナコドーム？

[tohnishi]

算数の例えはモナドに限らず何でも適用できるような気も。まあ確かにこのエントリーだけでは理解できなかったw

[masaru_b_cl]

使い方を覚えればそれでいいじゃない、ということで。

[sasashin]

さて自由モナド…といういいところで筆者がおねむという超展開。

[ledsun]

公文式最強

[spikelee5]

絶対に理解出来ないモナドチュートリアル - konn-san.com

[kozy4324]

なるほど分からん/数学勉強したなった

[trashtoy]

今まで読んだ中でいちばんしっくりきた