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