Today, the use of monads is a standard technique in functional programming. The invention of this technique solved the old problem: how to add computational effects to a pure functional programming language. Gratitude for this achievement is usually received by the category theory, where monads were described and examined in detail, and some see this alone as a justification for the existence of the whole theory. In this talk, we will try to understand how monads look like from the point of view of a mathematician (or, at least, a theoretical computer scientist), and trace their path from the world of abstract mathematics to the everyday practice of a programmer.

Supplementary materials:

Eugenio Moggi. Notions of computation and monads.

Philip Wadler. Comprehending Monads.

Presenter: Dmitry Rozplokhas

Date: October 29, 2018

Time: 17:15

Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr., 28