Монады

Среда, 15 апреля 2015

Таймс, ауд. 404

Список тем / 12 записей

Лямбда-исчисление

Рекурсия и редукция

Просто типизированное лямбда-исчисление

Введение в Haskell

Программирование на языке Haskell

Классы типов

Аппликативные функторы

9.

Монады

Использование монад

Трансформеры монад

Вывод типов

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

func_prog_lecture_150415.pdf

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

fp09_xkkrn3A.hs

Описание

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