ФП 1 · осень 2026

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

Практики

• P01 · Программирование в λ-исчисленииТермы, свободные и связанные переменные, подстановка, β-редукция и числа Чёрча.
• P02 · Рекурсия в λ-исчисленииНеподвижные точки, комбинатор рекурсии, нормальные формы и стратегии вычисления.
• P03 · Типы в λ-исчисленииПростые типы, правила типизации, системы Карри и Чёрча, население типов.
• P04 · Введение в HaskellПервые функции, сопоставление с образцом, ленивое вычисление и работа в GHCi.
• P05 · Типы данныхКонструкторы и сопоставление с образцом, рекурсивные деревья и списки, кайнды, проверенные данные и персистентность.
• P06 · Классы типовПерегрузка, классы типов и инстансы, ограничения, функторы и передача словарей.