Функциональное программирование 22-23 — различия между версиями
Материал из Wiki - Факультет компьютерных наук
Edashkov (обсуждение | вклад) (→Материалы) |
Edashkov (обсуждение | вклад) (→Преподаватели) |
||
Строка 4: | Строка 4: | ||
== Преподаватели == | == Преподаватели == | ||
+ | |||
+ | Лектор и семинарист: Евгений Дашков, ТГ: @edashkov, edashkov@gmail.com. | ||
+ | |||
+ | Семинарист: Павел Соколов, ТГ: @turtleisdead. | ||
+ | |||
+ | Учебный ассистент: Олег Мкртчян, ТГ: @unwishfulthinking. | ||
== Текущая успеваемость == | == Текущая успеваемость == |
Версия 04:02, 5 сентября 2022
Содержание
Функциональное программирование
Курс по выбору для студентов 3 и 4 курса ФКН ВШЭ, 1 и 2 модуль 2022 г.
Преподаватели
Лектор и семинарист: Евгений Дашков, ТГ: @edashkov, edashkov@gmail.com.
Семинарист: Павел Соколов, ТГ: @turtleisdead.
Учебный ассистент: Олег Мкртчян, ТГ: @unwishfulthinking.
Текущая успеваемость
Листки и код для семинаров
https://www.youtube.com/playlist?list=PLEwK9wdS5g0qy07-ZWYIiLIUEjV61G6E_
Домашние задания
Контрольная работа
Итоговый экзамен
Некоторые темы для проектов
Материалы
Базовые ресурсы
Стандартная библиотека языка 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