University of Cambridge > Talks.cam > Churchill CompSci Talks > Monads: Simple AND Usable

Monads: Simple AND Usable

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

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

Monads are a design pattern/construct used in functional programming inspired by category theory.

Monads will be introduced from a type-theoretic perspective. An example monad will be applied to an example problem demonstrating the use of a monad in code. Finally the monad laws will be introduced.

The presentation of the monad will be non-traditional from the start to encourage an intuition behind how they work. The traditional approach will be presented to allow the audience to leave able to understand code that uses monads.

The talk encourages the use of monads in code to increase abstraction and maintainability.

Monads are said by many to be incomprehensible until understood and then inexplicable when understood. This talk helps to overcome this.

This talk is part of the Churchill CompSci Talks series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity