Функциональное программирование 2021 — различия между версиями
Материал из Wiki - Факультет компьютерных наук
(→Полезные ресурсы и материалы) |
(→Функциональное программирование) |
||
| Строка 2: | Строка 2: | ||
Курс по выбору для студентов 3 и 4 курса ФКН ВШЭ, 1 и 2 модуль 2021 г. | Курс по выбору для студентов 3 и 4 курса ФКН ВШЭ, 1 и 2 модуль 2021 г. | ||
| + | |||
| + | == Ссылки на зум-трансляции == | ||
| + | |||
| + | [https://zoom.us/j/93073395443?pwd=RXBkdVJRMW9VMXJGc1BPVXVCTGJlQT09/ Лекция] | ||
| + | |||
| + | [https://zoom.us/j/98769502036?pwd=bDZzNGVQc21VMHJpVlZrbDM1OXFpUT09/ Семинар] | ||
== Материалы == | == Материалы == | ||
Версия 15:17, 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
