Функциональное программирование 22-23: различия между версиями
Перейти к навигации
Перейти к поиску
Edashkov (обсуждение | вклад) Новая страница: «== Функциональное программирование == Курс по выбору для студентов 3 и 4 курса ФКН ВШЭ, 1 и 2…» |
Edashkov (обсуждение | вклад) |
||
| Строка 22: | Строка 22: | ||
[ | Материалы Е.В. Дашкова] | [ | Материалы Е.В. Дашкова] | ||
==== Базовые ресурсы ==== | ==== Базовые ресурсы ==== | ||
Версия от 00:55, 5 сентября 2022
Функциональное программирование
Курс по выбору для студентов 3 и 4 курса ФКН ВШЭ, 1 и 2 модуль 2022 г.
Преподаватели
Текущая успеваемость
Листки и код для семинаров
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