Функциональное программирование 2015 — различия между версиями
Материал из SEWiki
(→Лекции и задачи) |
(→Лекции и задачи) |
||
Строка 86: | Строка 86: | ||
|- | |- | ||
! 12 | ! 12 | ||
− | | | + | | 30.04.2015 |
− | | [[Медиа:Fpc12_2015.pdf| | + | | [[Медиа:Fpc12_2015.pdf|Алгоритм вывода типов]] |
| [[Медиа:Fpc12pr_2015.pdf|PDF]] | | [[Медиа:Fpc12pr_2015.pdf|PDF]] | ||
− | | [[Медиа:FP_HW12_2015 | + | | [[Медиа:FP_HW12_2015.zip|HS]] |
+ | |- | ||
+ | ! 13 | ||
+ | | 14.05.2015 | ||
+ | | [[Медиа:Fpc13_2015.pdf|Рекурсивные типы]] ([[Медиа:Fp13.zip|исходники]]) | ||
+ | | [[Медиа:Fpc13pr_2015.pdf|PDF]] | ||
+ | | — | ||
+ | |- | ||
+ | ! 14 | ||
+ | | 21.05.2015 | ||
+ | | [[Медиа:Fpc14_2015.pdf|Чисто функциональные структуры данных]] ([[Медиа:Fp14.zip|исходники]]) | ||
+ | | — | ||
+ | | — | ||
|- | |- | ||
|} | |} |
Версия 04:48, 19 июня 2015
Лектор — Денис Николаевич Москвин (dmoskvin@gmail.com)
Практика — Денис Николаевич Москвин, Валерий Иванович Исаев (valery.isaev@gmail.com)
Результаты
Лекции и задачи
№ | Дата | Лекции | Практические задачи | |
---|---|---|---|---|
Группа Москвина | Группа Исаева | |||
1 | 12.02.2015 | Лямбда-исчисление | ||
2 | 19.02.2015 | Рекурсия и редукция | ||
3 | 26.02.2015 | Просто типизированное лямбда-исчисление | ||
4 | 05.03.2015 | Введение в Haskell (исходники) | HS | |
5 | 12.03.2015 | Программирование на языке Haskell (исходники) | HS | |
6 | 19.03.2015 | Классы типов (исходники) | HS | |
7 | 26.03.2015 | Свёртки (исходники) | HS | |
8 | 02.04.2015 | Аппликативные функторы (исходники) | HS | |
9 | 09.04.2015 | Монады (исходники) | HS | |
10 | 16.04.2015 | Стандартные монады (исходники) | HS | |
11 | 23.04.2015 | Трансформеры монад (исходники) | HS | |
12 | 30.04.2015 | Алгоритм вывода типов | HS | |
13 | 14.05.2015 | Рекурсивные типы (исходники) | — | |
14 | 21.05.2015 | Чисто функциональные структуры данных (исходники) | — | — |