Функциональное программирование 2021 — различия между версиями
(→Теоретическая контрольная работа) |
(→Книги и статьи) |
||
| Строка 28: | Строка 28: | ||
[http://learnyouahaskell.com/ Learn You a Haskell for Great Good] | [http://learnyouahaskell.com/ Learn You a Haskell for Great Good] | ||
| − | |||
| − | |||
| − | |||
| − | |||
[https://people.southwestern.edu/~potter/HaskellCode/hutton.pdf Programming in Haskell by Graham Hutton] | [https://people.southwestern.edu/~potter/HaskellCode/hutton.pdf Programming in Haskell by Graham Hutton] | ||
| Строка 43: | Строка 39: | ||
[https://disi.unitn.it/~bernardi/RSISE11/Papers/curry-howard.pdf/ Lectures on the Curry-Howard Isomorphism] | [https://disi.unitn.it/~bernardi/RSISE11/Papers/curry-howard.pdf/ Lectures on the Curry-Howard Isomorphism] | ||
| − | [https:// | + | [https://github.com/serokell/hse-haskell-course-src/ О трансформерах монад] |
=== Домашние работы === | === Домашние работы === | ||
Версия 12:01, 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
Домашние работы
Задания должны быть выложены на приватный репозиторий в гитхабе, куда должен быть дан доступ мне и Ивану, ассистенту курса. Ссылки отправлять по почте или через телеграм. Если кого-то по тем или иным причинам не устраивает гитхаб, то это стоит оговорить отдельно. Желательно слать задания через гитхаб.
Дедлайн 11 февраля включительно, после дедлайна решения будут закоммичены. При необходимости, разберем решения на семинаре.
Результаты проверки можно найти по ссылке.
Мягкий дедлайн 10 марта включительно, жесткий дедлайн 12 марта включительно.
Теоретическая контрольная работа
Теоретическая контрольная работа состоится 20 февраля. Если кто-то не сможет ее написать заранее, просьба сообщить об этом заранее. Для сообщивших заранее контрольная состоится 27 февраля перед лекцией.
Контакты
почта: 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
