Term fall 2025

FP 1.0 (записи):

1. Программирование в $\lambda$-исчислении: слайды, слайды с паузами, hw
2. Рекурсия в $\lambda$-исчислении: слайды, слайды с паузами, hw
3. Типы в $\lambda$-исчислении: слайды, слайды с паузами, hw
4. Введение в Haskell: слайды, слайды с паузами, hw
5. Типы данных: слайды, слайды с паузами, hw
6. Классы типов: слайды, слайды с паузами, hw
7. Свёртки: слайды, слайды с паузами, hw
8. Аппликативные функторы: слайды, слайды с паузами, hw
9. Аппликативные парсеры: слайды, слайды с паузами, hw
10. Монады: слайды, слайды с паузами, hw
11. Стандартные монады: слайды, слайды с паузами, hw
12. Трансформеры монад: слайды, слайды с паузами, hw
13. Вывод типов: слайды, слайды с паузами, hw

FP 2.0 (записи, fp2.pdf):

1. Воспоминания о Haskell: hw
2. Параметрический полиморфизм: hw
3. Специальный полиморфизм: hw
4. Типы данных: hw
5. Интерпретаторы: hw
6. Продолжения: hw
7. Эффекты и хендлеры: hw
8. Системы эффектов: fp2-slides-08.pdf