Attempt to explain a monad in 140 characters or less.

>>58089447
If F and G are a pair of adjoint functors, and F is left adjoint to G, then the composition of F and G is a monad.

>>58089447
A monad is a box you put stuff in, but with context.

map objects O to other objects OO
map two OO’s to a OO

I.e.:
1) Map „hi“ + „m8“ to [h][i] + [m][8]
2) Concat: [h][i][m][8]
3) Map back: „him8“

>>58089505
Soooo a list?

>>58090310
Yes. A list is one type of monad.

File: 1481957500692.png (1MB, 1128x1080px) Image search: [Google]

1MB, 1128x1080px

>>58089447
A tiling window manager.

>>58089505
So it's a stateful container?

inb4 it's a burrito

>>58089471
>167 characters

>>58091050
More like 130

>>58089447
>140 characters or less
Twitter generation please kill yourself.
- sincerely, the Doom generation

It's like a list: [Int] is a "list of integers" so you cannot use numeric operations directly on it, so you need a "wrapper" function such as map, that performs the operation on the "sub-types" of the list while keeping a list.

At the end I don't understand exactly which part is the monad: whether it's the wrapper type or the wrapper function