Исследовательская группа

Лаборатория языковых инструментов

Побег монад из мира абстрактной математики

October 29

Сегодня использование монад является стандартной техникой в функциональном программировании. Изобретение этой техники решило cтарую проблему: как добавить эффекты в чистый функциональный язык программирования. Благодарности за это достижение обычно получает теория категорий, в которой монады были описаны и подробно исследованы, и некоторые в одном этом видят оправдание для существование всей теории. В этом докладе мы попробуем понять, как монады выглядят с точки зрения математика (или, по крайней мере, информатика-теоретика), и проследить их путь из мира абстрактной математики в повседневную практику программиста.

Материалы к докладу:

Eugenio Moggi. Notions of computation and monads.

Philip Wadler. Comprehending Monads.

Докладчик: Дмитрий Розплохас