MonadはIOとdo記法のためにあると説明した方がわかりやすくね？

XENO @xenophobia__

二項演算子や関数を全部Num a => Maybe aみたいな型の間の演算にして、 runCalculus $ (a+b)*c/d で走らせて、計算がうまくいったかは最後で一度だけパターンマッチングで確認、駄目だった場合の例外処理も書く……か。さすがにめんどいな。

XENO @xenophobia__

(/) :: Num a => a -> {x::a|x/=0} -> a みたいな依存型を…… #型ガチ勢

普通のC++使い、銀天すばる @SubaruG

xの0乗は1とは限りません．（x=0で未定義

XENO @xenophobia__

Maybeさんすう。9/0はNothing。 http://t.co/cyPYuV1v

普通のC++使い、銀天すばる @SubaruG

Monad にして 0 除算した場合は error しようぜ！ >RT

XENO @xenophobia__

ふむ。 > RT

普通のC++使い、銀天すばる @SubaruG

s/error/fail/

普通のC++使い、銀天すばる @SubaruG

http://t.co/pYngrvLt できた．

普通のC++使い、銀天すばる @SubaruG

MonadPlus 拘束にして mzero でもよかったけど， fail の方が汎用的だよね

普通のC++使い、銀天すばる @SubaruG

fail x = mzero じゃない MonadPlus は爆発しろ．

でちまるさん（実際かわいい） @decimalbloat

それMonadじゃなくてApplicativeで十分じゃね？

でちまるさん（実際かわいい） @decimalbloat

と思ったがあれか，div by zeroを定義したかったのか．

普通のC++使い、銀天すばる @SubaruG

fail は Applicative には存在しませんゆえ RT @decimalbloat: それMonadじゃなくてApplicativeで十分じゃね？

普通のC++使い、銀天すばる @SubaruG

突っ込みどころとしては，むしろ「 m a -> m a -> m a ではなく a -> a -> m a の方が Haskell 的では？」の方だと思う

普通のC++使い、銀天すばる @SubaruG

Alternative でいいじゃん，という意見は歓迎するです

XENO @xenophobia__

モナディック(failure)さんすう。9/0は(failure DivideByZero) http://t.co/jMzZpSJZ #Haskell

XENO @xenophobia__

このオーバーキル感よ。

普通のC++使い、銀天すばる @SubaruG

fail は Monad の重要な構成要素なんだけど（ do 式中の <- によるパターンマッチに失敗した場合に呼ばれる， Maybe とか [] モナドで特に有用），何故か影が薄い．

普通のC++使い、銀天すばる @SubaruG

fail があるから do { Just a <- x; ～ } とか書けるのです．

普通のC++使い、銀天すばる @SubaruG

Monad = Applicative + join + fail

XENO @xenophobia__

すまぬ……あんまりfail好かんのだ……

XENO @xenophobia__

あ、便利さは認めてますよ。

XENO @xenophobia__

っていうか、do式のパターンマッチング失敗時ってfail呼ばれてるの知らなかった。

岡本暁広＠無限遠点の比較的近傍〄 @henkma

@xenophobia__ リストモナドではわりと便利ですねあれ

XENO @xenophobia__

@henkma ふむふむ、そうなんですか……