Monads: Simple AND Usable

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

• David Berry, Churchill College
• Wednesday 10 October 2018, 19:00-19:30
• Wolfson Hall, Churchill College.

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.

This talk is included in these lists:

• Churchill CompSci Talks
• Wolfson Hall, Churchill College
• computer science
• se393's list

Note that ex-directory lists are not shown.