圏論とかモナドなんて簡単だからscalaを使って説明してみた - だらだらしてたいなぁ

はじめに 関数型といえばモナド、モナドといえば難しいという事が巷で言われていますが、いきなりモナドを理解しようとするから難しく思えるだけで、圏論から順序を追って理解していけば全然難しく無いんだよって事を分かって貰えればいいなぁと思い書いて見ることにしました。 ただ、圏論といっても適用範囲がとっても広く、応用編になると分けわかんなくなってくるので、ここではプログラミング分野に特化したFP(functional programing)圏論*1について書きます。 また、説明を簡単にする為に細かい部分をいろいろ省略しています。学術的な定義としては正確ではないので、このエントリの説明は大体合ってる位の気持ちで読んでくださいね。 尚、ぼくは圏論の詳しい事はさっぱり分からないので、学問的な話を振られても回答できませんｷﾘｯ 圏ってなんなの？ 圏論と言えば、圏です。 圏って何なのかというと、対象(obje

[Dryad]

原理のシンプルさと理解容易性は両立しない場合が多いのだと思う(´・ω・`)抽象的な話を抽象的なまま理解するのは難易度が高いし。

[koyancya]

なるほど。わからん。

[progrhyme]

2013年の記事。段々抽象度が上がってつらくなるのだけど、要はflatMapなのか

[goodstoriez]

"関手はmap、モナドはflatMapなだけです"

[sirocco]

この説明面白そう。

[Hash]

内容の正確さについて疑問視する意見があり, 鵜呑み厳禁だが理解のとっかかりとしてメモぶくま

[hiratara]

つ http://d.hatena.ne.jp/hiratara/20130404/1365079419

[natsutan]

アフェを連続で張る人の記事は評価待ちにしておくのが俺のジャスティス

[gabuchan]

射っていうのはscalaだと単なる関数だし、関手はmap、モナドはflatMapなだけです。これのどこが難しいというのでしょう。

[vvakame]

モナドさんだけにほんごなくてかわいそう

[DOISHIGERU]

論

[NOV1975]

うーん、この例だと郵便番号っぽいものはあるけど、住所はずっとAddressなので住所を渡すと郵便番号に変換される、というように見えないなあ。

[mini_big_foo]

うおぉぉぉぉScalaの学習に楽しいスパイスが加わった！！面白い！！

[schrift]

　おもしろかった。

[todesking]

"モナドはscalaではflatMapです" ????

[Nkzn]

あとでよむ

[yoyama]

“思える”