Функциональное программирование 2021: различия между версиями
Перейти к навигации
Перейти к поиску
| Строка 1: | Строка 1: | ||
== Функциональное программирование == | == Функциональное программирование == | ||
Курс по выбору для студентов 4 курса ФКН ВШЭ, | Курс по выбору для студентов 3 и 4 курса ФКН ВШЭ, 1 и 2 модуль 2021 г. | ||
== Материалы == | == Материалы == | ||
Версия от 09:03, 21 сентября 2021
Функциональное программирование
Курс по выбору для студентов 3 и 4 курса ФКН ВШЭ, 1 и 2 модуль 2021 г.
Материалы
Полезные ресурсы и материалы
Базовые ресурсы
Стандартная библиотека языка 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 курса
Домашние работы
TBA
Теоретическая контрольная работа
TBA
Контакты
почта: sk@mi-ras.ru
Даниил Рогозин
почта: daniel.rogozin@serokell.io
телефон (для телеграма): +7-925-623-11-78
Телеграм-чат по курсу: https://t.me/joinchat/RmMffsy1ZZgwZTli