Функциональное программирование 2021
Содержание
Функциональное программирование
Курс по выбору для студентов 3 и 4 курса ФКН ВШЭ, 1 и 2 модуль 2021 г.
Ссылки на зум-трансляции
Домашние задания
Первое домашнее задание. Ссылка-приглашение в GitHub Classroom
Дедлайн: 7 ноября, 23:59
Контрольная работа (take home)
Контрольная работа, take home Время начала работы: 16 ноября, 18:00 Крайний срок сдачи работы: 17 ноября, 18:00 Решения присылать на адрес: sk@mi-ras.ru
Материалы
Полезные ресурсы и материалы
Базовые ресурсы
Стандартная библиотека языка Haskell на Hackage
Общие рекомендации по написанию кода
Книги и статьи
Learn You a Haskell for Great Good
Programming in Haskell by Graham Hutton
Category Theory for Computer Scientists
Lectures on the Curry-Howard Isomorphism
список лекций и литературы в README курса
Материалы занятий
Теоретическая контрольная работа
TBA
Контакты
почта: sk@mi-ras.ru
Даниил Рогозин
почта: daniel.rogozin@serokell.io
телефон (для телеграма): +7-925-623-11-78
Телеграм-чат по курсу: https://t.me/joinchat/RmMffsy1ZZgwZTli