Функциональное программирование 2015

Материал из SEWiki
Версия от 04:48, 19 июня 2015; YAleksandrov (обсуждение | вклад) (Лекции и задачи)

Перейти к: навигация, поиск

Лектор — Денис Николаевич Москвин (dmoskvin@gmail.com)

Практика — Денис Николаевич Москвин, Валерий Иванович Исаев (valery.isaev@gmail.com)

Результаты

Лекции и задачи

Дата Лекции Практические задачи
Группа Москвина Группа Исаева
1 12.02.2015 Лямбда-исчисление PDF PDF
2 19.02.2015 Рекурсия и редукция PDF PDF
3 26.02.2015 Просто типизированное лямбда-исчисление PDF PDF
4 05.03.2015 Введение в Haskell (исходники) PDF HS
5 12.03.2015 Программирование на языке Haskell (исходники) PDF HS
6 19.03.2015 Классы типов (исходники) PDF HS
7 26.03.2015 Свёртки (исходники) PDF HS
8 02.04.2015 Аппликативные функторы (исходники) PDF HS
9 09.04.2015 Монады (исходники) PDF HS
10 16.04.2015 Стандартные монады (исходники) PDF HS
11 23.04.2015 Трансформеры монад (исходники) PDF HS
12 30.04.2015 Алгоритм вывода типов PDF HS
13 14.05.2015 Рекурсивные типы (исходники) PDF
14 21.05.2015 Чисто функциональные структуры данных (исходники)