Функциональное программирование 22-23: различия между версиями
Перейти к навигации
Перейти к поиску
Edashkov (обсуждение | вклад) |
Edashkov (обсуждение | вклад) |
||
| Строка 21: | Строка 21: | ||
== Материалы == | == Материалы == | ||
[https://t.me/+0xll5HN3Y1k0ZDRi | [https://t.me/+0xll5HN3Y1k0ZDRi Группа слушателей курса в ТГ] | ||
[ | [https://drive.google.com/drive/folders/1Ut4Tv4CkaMhC-8Mqxh4gK5WjaN3LkgUR?usp=sharing Материалы Е.В. Дашкова] | ||
==== Базовые ресурсы ==== | ==== Базовые ресурсы ==== | ||
Версия от 00:57, 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