Функциональное программирование 2021 — различия между версиями
(→Книги и статьи) |
(→Теоретическая контрольная работа) |
||
| Строка 61: | Строка 61: | ||
=== Теоретическая контрольная работа === | === Теоретическая контрольная работа === | ||
| − | + | TBA | |
| − | + | ||
| − | + | ||
| − | + | ||
== Контакты == | == Контакты == | ||
Версия 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
Иван Солянкин
почта: imsolyankin<youknowwhat>edu.hse.ru
telegram: https://t.me/c284d
github: https://github.com/vanzef
Телеграм канал по курсу:
https://t.me/joinchat/Klqc0wmEPmWDU9T9qUrjOQ
