Функциональное программирование 2021 — различия между версиями
(→Домашние работы) |
(→Книги и статьи) |
||
| Строка 34: | Строка 34: | ||
[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] | ||
| + | |||
| + | [http://book.realworldhaskell.org/read/ Real World Haskell] | ||
| + | |||
| + | [http://booksdescr.org/item/index.php?md5=0A7FC4A845619F20D0237D08C33D297F/ Category Theory for Computer Scientists] | ||
| + | |||
| + | [https://mathtrielhighschool.files.wordpress.com/2011/08/number-theory.pdf/ Basic Simple Type Theory] | ||
| + | |||
| + | [https://disi.unitn.it/~bernardi/RSISE11/Papers/curry-howard.pdf/ Lectures on the Curry-Howard Isomorphism] | ||
=== Домашние работы === | === Домашние работы === | ||
Версия 20:14, 27 февраля 2019
Содержание
[убрать]Функциональное программирование
Курс по выбору для студентов 4 курса ФКН ВШЭ, 3-й модуль 2019 г.
Материалы
Полезные ресурсы и материалы
Базовые ресурсы
Стандартная библиотека языка Haskell на Hackage
Общие рекомендации по написанию кода
Книги и статьи
Learn You a Haskell for Great Good
Category Theory for Programmers
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
