Лекция 5. Типы данных
Вторник, 08 марта 2022
Онлайн, занятие в zoom
Список тем / 25 записей
1.
Лекция 1. Лямбда-исчисление
2.
Семинар 1. Чистое лямбда-исчисление как язык программирования
3.
Лекция 2. Рекурсия и редукция
4.
Семинар 2. Рекурсия и редукция
5.
Лекция 3. Просто типизированное лямбда-исчисление
6.
Семинар 3. Просто типизированное лямбда-исчисление
7.
Лекция 4. Введение в Haskell
8.
Семинар 4. Введение в Haskell
9.
Лекция 5. Типы данных
10.
Семинар 5. Стандартные списки
11.
Лекция 6. Классы типов
12.
Семинар 6. Реализация представителей стандартных классов типов
13.
Лекция 7. Свертки
14.
Семинар 7. Моноиды и свертки
15.
Лекция 8. Аппликативные функторы
16.
Семинар 8. Аппликативные функторы
17.
Лекция 9. Использование аппликативных функторов
18.
Семинар 9. Траверсы, парсеры, моноидальные функторы
19.
Лекция 10. Монады
20.
Семинар 10. Монады
21.
Лекция 11. Использование монад
22.
Семинар 11. Использование монад
23.
Лекция 13. Вывод типов
24.
Лекция 12. Трансформеры монад
25.
Семинар 12. Трансформеры монад