Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
00:00 Начало лекции 00:20 Функторы 41:51 Класс типов Pointed, которого нет 50:44 Аппликативные функторы Функциональное программирование (весна 2022) Ссылка на курс на сайте CS центра Ссылка на плейлист курса на YouTube • 1. Лямбда-исчисление
