Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
00:00 Начало лекции 01:02 Свертки 45:44 Полугруппы и моноиды 01:13:42 Класс типов Foldable Функциональное программирование (весна 2022) Ссылка на курс на сайте CS центра Ссылка на плейлист курса на YouTube • 1. Лямбда-исчисление
