Monad as "Things to Do"

Yuji Yamamoto

2015-05-24

Nice to meet you!

Nice to meet you!

I'm gonna talk about...

In short,

Monad is a type class

Recall what a type class is:

Why type class is useful

Then, how about Monad?

Let's see >>= method!

(>>=) :: m a -> (a -> m b) -> m b

Let's see >>= method!

(>>=) :: m a -> (a -> m b) -> m b

Let's see >>= method!

(>>=) :: m a -> (a -> m b) -> m b

In other words,

That is!

For example!!

Then, what's the merit of this idea?

Then, what's the merit of this idea?

Conclusion