Programming with monads

Add to your list(s) Download to your calendar using vCal

• Jano Letovanec, Hughes Hall College
• Wednesday 04 November 2020, 19:30-20:00
• Online, via MS Teams.

If you have a question about this talk, please contact Matthew Ireland.

We as programmers like solving problems. But we do not like cumbersome repeating and boiler plate. However, due to side-effects, bad inputs, or inconsistent types it is sometimes necessary. Or is it?

In our attempt to answer that, I will demystify monads and we will see how monads help us with boiler plate and how they can be used to deal with impure functions in a pure manner.

We then define monad according to Haskell’s definition, where we learn about bind operators.

We will also look into Category theory and we will talk about categories, functors, and natural transformations.

Finally, we take a look at some limitations of monads in an attempt to understand why they are not as widespread as one might think.

This talk is part of the Churchill CompSci Talks series.

This talk is included in these lists:

• Churchill CompSci Talks
• Online, via MS Teams
• computer science
• se393's list

Note that ex-directory lists are not shown.