ФП 2 · осень 2026

Слайды и PDF к занятиям. Версия «По шагам» раскрывает примеры и решения по клику.

Лекции

• L01 · Введение и воспоминания о ФПОбзор курса, термы и типы, функции, данные, классы типов и монады в Haskell.
• L02 · Параметрический полиморфизмПолиморфные функции, параметричность и представление обобщённого кода.
• L03 · Специальный (ad-hoc) полиморфизмКлассы типов и словари, вывод инстансов, дефункционализация, семейства типов, коерции и роли.

Конспект

• Конспект: до «Всё через свёртки» включительно — Главы 1–3 и разделы 4.1–4.4: вариантность, изоморфизмы, рекурсивные типы, кодировки Чёрча, fusion и Visitor.