Функциональное программирование 2015
Материал из SEWiki
Лектор — Денис Николаевич Москвин (dmoskvin@gmail.com)
Практика — Денис Николаевич Москвин, Валерий Иванович Исаев (valery.isaev@gmail.com)
Результаты
Лекции и задачи
| № | Дата | Лекции | Видеозапись (CSC) | Практические задачи | |
|---|---|---|---|---|---|
| Группа Москвина | Группа Исаева | ||||
| 1 | 12.02.2015 | Лямбда-исчисление | URL | ||
| 2 | 19.02.2015 | Рекурсия и редукция | URL | ||
| 3 | 26.02.2015 | Просто типизированное лямбда-исчисление | URL | ||
| 4 | 05.03.2015 | Введение в Haskell (исходники) | URL | HS | |
| 5 | 12.03.2015 | Программирование на языке Haskell (исходники) | URL | HS | |
| 6 | 19.03.2015 | Классы типов (исходники) | URL | HS | |
| 7 | 26.03.2015 | Свёртки (исходники) | URL | HS | |
| 8 | 02.04.2015 | Аппликативные функторы (исходники) | URL | HS | |
| 9 | 09.04.2015 | Монады (исходники) | URL | HS | |
| 10 | 16.04.2015 | Стандартные монады (исходники) | URL | HS | |
| 11 | 23.04.2015 | Трансформеры монад (исходники) | URL | HS | |
| 12 | 30.04.2015 | Алгоритм вывода типов | URL | HS | |
| 13 | 14.05.2015 | Рекурсивные типы (исходники) | — | — | |
| 14 | 21.05.2015 | Чисто функциональные структуры данных (исходники) | — | — | — |
