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