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.
Eugenio Moggi. Notions of computation and monads.
Philip Wadler. Comprehending Monads.
Presenter: Dmitry Rozplokhas
Date: October 29, 2018
Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr., 28