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

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

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

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

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

Результаты

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

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