Что: | Лекция |
Когда: | Четверг, 09 апреля 2020, 18:10–19:45 |
Где: | Заочный просмотр |
Слайды: | func_prog_lecture_090420.pdf |
Монады. Класс типов Monad
. Пример: монада Identity
. Законы класса типов Monad
. do
-нотация. Монада Maybe
: вычисления, которые могут завершиться неудачей. Монада списка: вычисления со множественными результатами.