Монады

Вторник, 05 апреля 2016
Таймс, ауд. 404

Слайды с лекции

func_prog_lecture_050416.pdf

Приложенные файлы

Описание

Монады. Класс типов Monad. Пример: монада Identity. Законы класса типов Monad. do-нотация. Монада Maybe: вычисления, которые могут завершиться неудачей. Монада списка: вычисления со множественными результатами.