Yuji Yamamoto
2015-05-24
This slide was planned to be used for the Lightning Talk of LambdaConf 2015.
But I missed the chance.😞
Like this (reprinted) ↓
return
and >>=
method,
do
notation available!>>=
method.Maybe
, >>=
checks Just a or Nothinga
of m a
to (a -> m b)
.Reader
, >>=
supplies the missing argument to the reader functiona
of m a
to (a -> m b)
.Parser
, >>=
consumes the given stringa
of m a
to (a -> m b)
.>>=
has some required computationa
of m a
to (a -> m b)
.>>=
is implemented so thatm b
of (a -> m b)
to another function.>>=
has all things to doa
of m a
to (a -> m b)
>>=
things to do(a -> m b)
function(a -> m b)
function returns a value.(a -> m b)
with things to do.