Функциональное программирование 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 | Чисто функциональные структуры данных (исходники) | — | — |
