Функциональное программирование 22-23 — различия между версиями

Версия 04:04, 5 сентября 2022

Функциональное программирование

Курс по выбору для студентов 3 и 4 курса ФКН ВШЭ, 1 и 2 модуль 2022 г. Функциональное программирование (ФП) представляет собой теоретически изящный, выдержавший проверку временем на практике и оказавший заметное влияние на технологии программирования вообще подход к созданию ПО. Курс посвящен основам ФП в целом и популярного языка Haskell в частности. Попутно сообщаются начальные сведения из области лямбда-исчислений, теории типов, теории категорий.

Преподаватели

Лектор и семинарист: Евгений Дашков, ТГ: @edashkov, edashkov@gmail.com.

Семинарист: Павел Соколов, ТГ: @turtleisdead.

Учебный ассистент: Олег Мкртчян, ТГ: @unwishfulthinking.

Текущая успеваемость

Листки и код для семинаров

https://www.youtube.com/playlist?list=PLEwK9wdS5g0qy07-ZWYIiLIUEjV61G6E_

Домашние задания

Домашние задания выдаются приблизительно раз в две недели; при выдаче каждого задания указывается срок его сдачи. Все задания письменные. Каждая задача оценивается 0, ½ или 1 баллом. Все задания в целом оцениваются числом: ДЗ = (сумма полученных баллов за все задачи) / (количество выданных задач).

Контрольная работа

Итоговый экзамен

Некоторые темы для проектов

Материалы

Группа слушателей курса в ТГ

Материалы Е.В. Дашкова

Базовые ресурсы

Сайт языка

Haskell Tool Stack

Информация про Cabal

Hoogle

Hackage

Стандартная библиотека языка Haskell на Hackage

Книги и статьи

Learn You a Haskell for Great Good

Programming in Haskell by Graham Hutton

Real World Haskell

Category Theory for Computer Scientists

Basic Simple Type Theory

Lectures on the Curry-Howard Isomorphism

Оценки