Guest
Функциональное программирование в МФТИ. Темы: “числовые“ классы; алгебраические типы данных (АТД): пустые и одноэлементные множества, произведения и суммы — (), (,) и т.д., записи (в т.ч. с именованным полями), Maybe, Either; newtype; рекурсивные АТД — задание бесконечных множеств; натуральные числа по Пеано (и свертка для них), двоичные деревья, списки; “бесконечные“ объекты.
