ФП 5SE осень 2019

Материал из CSC Wiki
Перейти к:навигация, поиск

Лекции

Преподаватель: Москвин Денис Николаевич dmoskvin@gmail.com

Слайды

Лекция 1. Лямбда-исчисление 04.09.2019 (чт)

Лекция 2. Рекурсия и редукция 11.09.2019 (чт)

Лекция 3. Просто типизированное лямбда-исчисление 18.09.2019 (чт)

Лекция 4. Введение в Haskell 25.09.2019 (чт)

Лекция 5. Программирование на Haskell 02.10.2019 (чт)

Лекции 5a. Программирование на Haskell (2) 09.10.2019 (чт)

Лекция 6. Классы типов 16.10.2019 (чт)

Лекция 7. Свертки 23.10.2019 (чт)

Лекция 8. Аппликативные функторы 30.10.2019 (чт)

Лекция 9. Использование аппликативных функторов 06.11.2019 (чт)

Лекция 10. Монады 13.11.2019 (чт)

Лекция 11. Стандартные монады 20.11.2019 (чт)

Лекция 12. Трансформеры монад 27.11.2019 (чт)

Лекция 13. Алгоритм вывода типов 04.12.2019 (чт)

Лекция 14. Рекурсивные типы 11.12.2019 (чт)

Лекция 15. Молнии и линзы 18.12.2019 (чт)

Полезные ссылки

Hoogle

Typeclassopedia

Haskell 2010 Language Report


Практика Халанский

Преподаватель Халанский Дмитрий

d.khalansky+fp2019@gmail.com (не пропускайте +fp2019, а то бот может положить письмо не туда) Не стесняйтесь писать с вопросами, замечаниями и пожеланиями, особенно если ощущаете, что застряли!

  • Задания разбираются через неделю, если не сказано обратное.
  • Я должен ответить в течение троих суток с момента, как увидел решения, так что имеет смысл что-то прислать, даже если готово ещё мало.

Домашние задания можно отправлять мне на почту с темой письма вида "Фамилия-НомерЗадания"; иначе, можно завести репозиторий на Gitlab, открыть мне (https://gitlab.com/d.khalansky) доступ и слать мне запрос на проверку pull request-ов.

Баллы

  • Каждая задача оценивается как максимум в один балл.
  • Можно получить дробный балл.
  • Для каждой темы назначается порог баллов, который нужно пройти. Для зачёта нужно получить зачёт по всем темам, кроме любой одной.
  • Баллы за одну тему не переходят в другую тему, так что если порог пройден, посылать новые задачи имеет смысл только ради рейтинга.
  • Каждая дополнительная задача также оценивается в один балл.
  • На дополнительные задачи нет сроков.
  • Дополнительные задачи не учитываются при расчёте рейтинга, с их помощью можно только дозакрывать темы.

Материалы

1. задание исходник; конспект исходник

2. задание исходник; конспект исходник

3. задание исходник; конспект исходник

Практика Жаворонков

Преподаватель Жаворонков Эдгар

Табличка с результатами

Контакты:

Материалы с занятий и домашние задания:

Правила игры и прочее

Сдача домашних заданий

  • Первые три -- мне на почту. Формат -- pdf(LaTeX)
  • Следующие -- TBD

Дедлайны

  • Мягкий -- указан в строке с соответствующим заданием. Если присылаете до него -- я смотрю, отвечаю и можно прислать исправления.
  • Жесткий -- наступает в момент начала пары. Присылать до него можно и нужно, я не снижаю баллы, но не гарантирую, что буду принимать исправления

Зачет

TBD