Функциональное программирование 2019

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск

Функциональное программирование

Курс по выбору для студентов 4 курса ФКН ВШЭ, 3-й модуль 2019 г.

Материалы

страница курса 2018 г.

Полезные ресурсы и материалы

Базовые ресурсы

Сайт языка

Haskell Tool Stack

Информация про Cabal

Hoogle

Hackage

Стандартная библиотека языка Haskell на Hackage

Общие рекомендации по написанию кода

Книги и статьи

Learn You a Haskell for Great Good

О Haskell по-человечески

Category Theory for Programmers

Programming in Haskell by Graham Hutton

Real World Haskell

Category Theory for Computer Scientists

Basic Simple Type Theory

Lectures on the Curry-Howard Isomorphism

О трансформерах монад

Домашние работы

Задания должны быть выложены на приватный репозиторий в гитхабе, куда должен быть дан доступ мне и Ивану, ассистенту курса. Ссылки отправлять по почте или через телеграм. Если кого-то по тем или иным причинам не устраивает гитхаб, то это стоит оговорить отдельно. Желательно слать задания через гитхаб.

Первая домашняя работа

Дедлайн 11 февраля включительно, после дедлайна решения будут закоммичены. При необходимости, разберем решения на семинаре.

Результаты проверки можно найти по ссылке.


Вторая домашняя работа

Мягкий дедлайн 10 марта включительно, жесткий дедлайн 12 марта включительно.

Критерии проверки.

Теоретическая контрольная работа

Теоретическая контрольная работа состоится 20 февраля. Если кто-то не сможет ее написать заранее, просьба сообщить об этом заранее. Для сообщивших заранее контрольная состоится 27 февраля перед лекцией.

Результаты

Контакты

Степан Кузнецов

почта: sk@mi-ras.ru


Даня Рогозин

почта: daniel.rogozin@serokell.io

телефон (для телеграма): +7-925-623-11-78

GitHub


Иван Солянкин

почта: imsolyankin<youknowwhat>edu.hse.ru

telegram: https://t.me/c284d

github: https://github.com/vanzef


Телеграм канал по курсу: https://t.me/joinchat/Klqc0wmEPmWDU9T9qUrjOQ