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

Содержание

1 Функциональное программирование
2 Преподаватели
3 Текущая успеваемость
4 Setting up
5 Листки и код для семинаров
6 Домашние задания
7 Контрольная работа
8 Итоговый экзамен
9 Самостоятельная работа (мини-проект)
10 Материалы
- 10.1 Базовые ресурсы
- 10.2 Книги и статьи
11 Оценки

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

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

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

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

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

Учебный ассистент: Ислам Талипов, ТГ: @lishy2.

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

[Таблица].

Setting up

Если вы пользуетесь Windows, установите WSL2, если ещё не.
Установите ghcup — скачайте бинарный файл сами либо введите одну любимую команду:
- MacOS:
```
brew install ghcup
```
- Arch-based distros:
```
yay -S ghcup-hs-bin
```
- WSL2, MacOS >= 10.13, Linux:
```
curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
```
- Windows Powershell (cringe): Команда доступна по ссылке
Убедитесь, что путь до места установки ghcup содержится в $PATH — запустите ghcup list.
Установите recommended версии компилятора, пакетного менеджера и языкового сервера:
```
ghcup install ghc recommended
ghcup install cabal recommended
ghcup install hls recommended
```
Убедитесь, что путь ~/.ghcup/bin содержится в $PATH. При необходимости добавьте этот путь сами.
Создайте символические ссылки на установленные версии программ:
```
ghcup set ghc recommended
ghcup set cabal recommended
ghcup set hls recommended
```
Настройте LSP client в своей любимой среде разработки:
- Для VS Code есть плагин, он должен обнаружить HLS самостоятельно.
- В NeoVim настройте nvim-lspconfig, он знает про HLS.
- Инструкцию для других сред можно найти здесь.
Опционально — установите Hoogle локально:
1. cabal install hoogle
2. Допишите в файл ~/.ghci следующее:
```
:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\""
:def hdoc \x -> return $ ":!hoogle --info \"" ++ x ++ "\""
```
3. Теперь можно пользоваться Hoogle прямо из ghci с помощью команд :hoogle и :hdoc