Лекция 13. Вывод типов
Среда, 20 апреля 2022
Таймс, 2 этаж, ауд.204
Список тем / 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. Трансформеры монад