Monadなんてどうってことなかった話

山本悠滋

2015-03-21 モナド基礎勉強会

こんにちは!

Monadなんてどうってことなかった

Monadなんてどうってことなかった

ただの型クラスだけど違った

ただの型クラスだけど違った

ただの型クラスだけど違った

間でなんかしてるだけだった

間でなんかしてるだけだった

間でなんかしてるだけだった

間でなんかしてるだけだった

desugarしたらもっと簡単だった

lookup uID firstNameDB >>= (\fname -> ...)

ほかも大体一緒だった

ほかも大体一緒だった

同じなのは

例のモナド則

例のモナド則

例のモナド則

違うのは

>>=でやってること

>>=でやってること

何だったんだ…

まとめ