モナド教

前提知識：モナド モナドを理解せずともモナド教を信ずることは出来ますが，理解していればより深く納得できるでしょう． 操作 :: 型 -> 型 は，"型"から"型"へ写す"操作"の存在を表します． モナドの文脈 m が必要とする2つの操作： return :: a -> m a で，値を保ちつつ文脈 m の中に入れ込むことが出来ます． (=<<) :: (a -> m b) -> (m a -> m b) で，「値を文脈に入った別の値へ写す操作」を「文脈に入った値を同じ文脈に入った別の値へ写す操作」に変換します． id :: a -> a は値をそのまま返す操作です． id を =<< で変換して得られる操作 join :: m (m a) -> m a で，二重に文脈に入った値を一重の文脈に入った値に戻すことが出来ます． 文脈の値から生の値を取り出す型 m a -> a を持つ操作は，一般

[ytRino]

Maybe Monad be with you...

[tamansa]

穏やかじゃありませんね（byシュルク）

[iasna]

ゼノブレイド今やってる俺にはタイムリーな宗教ｋｔｋｒ！！

[ledsun]

なんだ・・・これ？

[a_suenami]

なんだこれｗ

[Chachapo]

ぜのぶれいど

[Nyoho]

最後の寄進が欲しいものリストでワラタ

[igrep]

“あの世からこの世に戻ってくる( m a -> a 型の)操作は用意されていません．”マジレスするとそれがないのってIOモナドぐらいでは...

[mirumiru39m]

モナド教

[cive]

プログラミングから導き出される宗教 #とは

[hidex7777]

仏教では天国はありません。鎌倉仏教が浄土信仰を利用しただけです。

[naopi_chan]

有明でモナド教の経典(薄い本)は売ってますか？

[tak4hir0]

モナド教

[als_uz]

モナカたべたい

[i2key]

これはwww

[shibuyads]

モナド教

[uva]

プログラミングジョーク

[m_shige1979]

???

[cj3029412]

モナ読経

[yoshiyoc]

returnは数学の圏論における関手のことだから、a=現世、ma＝あの世の人であること、とできないんだけど。よくわかっていないな・・・

[hitogura]

ノマド教かと思いました

[SndOp]

ここが現世ではなく天国であるということは、たまに蘇生しちゃう人がいることで証明できるのかな。

[lag-o]

「天国の天国で死んだら，天国の天国の天国に行きます」何を言ってるんだ

[Vorspiel]

辛うじて理解できた…か?

[Untouchable]

勉強します

[amanomurakumo]

天国が無限に連なると、何回か死んだとき「自分がいるのは本当に天国なのか」と疑問を抱きそう。そこのところをはたして「文脈」は把握させてくれるのだろうか、。

[hundret]

みんなで入信しようぜ！！！ / モナド教 :

[nana_07]

「モナド則を図示してたら天国っぽくなった」補足の1行目から理解できない→ http://goo.gl/FlL7E4

[minami5741]

これなら安心して死ねる…?

[chess-news]

　数論、集合論ぽい。あの世は、熱力学第二法則(エントロピーの奴)が成り立たないのかな。熱力学の教授が、熱力学は哲学だって言ってた。仏教だと　c　として現世によみがえるかも。誰か世界線理論と統合はよ。

[asa_ca3]

天国はあると言う話。

[politru]

寄進はいらずとあるが・・・・　http://www.amazon.co.jp/registry/wishlist/16K80JKMV723I?tag=shogipage-22

[kirakking]

モナド教では"lift :: (Monad m, MonadTrans t) => m a -> t m a"は秘術あたりなのであろうか。