Lecture 18: An Introduction to Monads.

Programming with exceptions, state, and input/output, is difficult to integrate into the paradigm of functional programs. Different functional programming languages employ different techniques of how to handle this problem.

In this lecture we present an introduction to the theory of monads, which are used in Haskell to address and solve the above problem.

Suggested Reading Materials:

Philip Wadler. In M. Broy, editor, Marktoberdorf Summer School on Program Design Calculi, Springer Verlag, NATO ASI Series F: Computer and systems sciences, Volume 118, August 1992. Also in J. Jeuring and E. Meijer, editors, Advanced Functional Programming, Springer Verlag, LNCS 925, 1995.