Abstract

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.