HSE-AMCS-FP-23-Lect-sn2

Функциональное программирование во ВШЭ для ПМИ. Темы: алгебраические типы данных: "конечные множества", произведения и суммы; записи и их поля; типы-синонимы и newtype; семейства типов Maybe и Either; рекурсивные типы и "бесконечные" объекты.