Функциональное программирование 2021 — различия между версиями
(→Теоретическая контрольная работа) |
(→Контакты) |
||
| Строка 70: | Строка 70: | ||
| − | + | Даниил Рогозин | |
почта: daniel.rogozin@serokell.io | почта: daniel.rogozin@serokell.io | ||
| Строка 80: | Строка 80: | ||
| − | + | Телеграм-чат по курсу: | |
| − | + | https://t.me/joinchat/RmMffsy1ZZgwZTli | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | Телеграм | + | |
| − | https://t.me/joinchat/ | + | |
Версия 12:02, 21 сентября 2021
Содержание
[убрать]Функциональное программирование
Курс по выбору для студентов 4 курса ФКН ВШЭ, 3-й модуль 2019 г.
Материалы
Полезные ресурсы и материалы
Базовые ресурсы
Стандартная библиотека языка 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 курса
Домашние работы
Задания должны быть выложены на приватный репозиторий в гитхабе, куда должен быть дан доступ мне и Ивану, ассистенту курса. Ссылки отправлять по почте или через телеграм. Если кого-то по тем или иным причинам не устраивает гитхаб, то это стоит оговорить отдельно. Желательно слать задания через гитхаб.
Дедлайн 11 февраля включительно, после дедлайна решения будут закоммичены. При необходимости, разберем решения на семинаре.
Результаты проверки можно найти по ссылке.
Мягкий дедлайн 10 марта включительно, жесткий дедлайн 12 марта включительно.
Теоретическая контрольная работа
TBA
Контакты
почта: sk@mi-ras.ru
Даниил Рогозин
почта: daniel.rogozin@serokell.io
телефон (для телеграма): +7-925-623-11-78
Телеграм-чат по курсу: https://t.me/joinchat/RmMffsy1ZZgwZTli
