imported>TurtlePU: /* Домашние задания */

2025-03-06T02:21:08Z

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

Новая страница

== Промышленное программирование на Haskell ==

Весенний курс по выбору для студентов 4 курса ФКН ВШЭ.

=== Команда курса ===

Лектор: Павел Соколов aka [https://t.me/TurtlePU @TurtlePU].

Семинарист: Илья Костюченко aka [https://t.me/ilyakooo0 @ilyakooo0].

Ассистенты: Ислам Талипов aka [https://t.me/lishy2 @lishy2] и Глеб Смирнов aka [https://t.me/liferooter @liferooter].

=== Ссылки ===

Канал в телеграм: https://t.me/+Is4I3YPaBWk3NjIy

Чат в телеграм: https://t.me/+lcim6Ukmojc5ZGUy

Конспекты лекций: https://github.com/Haskell-HSE/haskell-lectures-2025

Материалы семинаров: https://github.com/ilyakooo0/production-haskell

Записи лекций и семинаров: https://disk.yandex.ru/d/IoakBXz_6yygPw/%D0%9F%D1%80%D0%BE%D0%BC%D1%8B%D1%88%D0%BB%D0%B5%D0%BD%D0%BD%D0%BE%D0%B5%20%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5%20%D0%BD%D0%B0%20Haskell

Таблица с оценками: https://docs.google.com/spreadsheets/d/19wFHBrf5e5x-5vtSdfq70tZAIMHW1bAy4kJki5TqWN4/edit?usp=sharing

== Setting up ==

# Установка компилятора, системы сборки, языкового сервера
#* (Рекомендованный способ) Через [https://www.haskell.org/ghcup/ ghcup]:
#*# Скачайте [https://downloads.haskell.org/~ghcup/ бинарный файл] сами либо введите одну любимую команду:
#*#* '''MacOS''': <code>brew install ghcup</code>
#*#* '''Arch'''-based distros: <code>yay -S ghcup-hs-bin</code>
#*#* '''WSL2''', '''MacOS''' >= 10.13, '''Linux''': <code>curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh</code>
#*#* '''Windows''': Команда доступна по [https://www.haskell.org/ghcup/install/#installation ссылке].
#*# Убедитесь, что путь до места установки <code>ghcup</code> (скорее всего, <code>~/.ghcup/bin</code> либо <code>C:/ghcup</code>) содержится в <code>$PATH</code> — запустите <code>ghcup list</code>. При необходимости добавьте этот путь сами.
#*# Установите '''<code style="background-color:black;color:rgb(0,255,0)">recommended</code>''' версии компилятора, системы сборки и языкового сервера:
#*## <code>ghcup install ghc recommended</code>
#*## <code>ghcup install stack recommended</code>
#*## <code>ghcup install hls recommended</code>
#*# Создайте символические ссылки на установленные версии программ:
#*## <code>ghcup set ghc recommended</code>
#*## <code>ghcup set stack recommended</code>
#*## <code>ghcup set hls recommended</code>
#* (Если предыдущий вариант не сработал) '''Windows''':
#*# <code>choco install haskell-language-server haskell-stack</code>
#*# <code>refreshenv</code>
# Настройте LSP client в своей любимой среде разработки:
#* Для '''VS Code''' есть [https://github.com/haskell/vscode-haskell плагин]. Скорее всего, при запуске он предложит выбрать, каким образом ему находить HLS: через GHCup или вручную через PATH. Если устанавливали через <code>chocolatey</code>, выбирайте вторую опцию; иначе сначала попробуйте через GHCup.
#* В '''NeoVim''' настройте [https://github.com/neovim/nvim-lspconfig nvim-lspconfig], он знает про HLS.
#* Инструкцию для других сред можно найти [https://haskell-language-server.readthedocs.io/en/latest/configuration.html#configuring-your-editor здесь].
# (Опционально) Установите [https://hoogle.haskell.org Hoogle] локально:
## <code>stack install hoogle</code>
## Теперь можно пользоваться Hoogle прямо из ghci с помощью команды <code>:!hoogle</code> и <code>:!hoogle --info</code>

== План курса ==

=== Лекции, семинары ===

* '''Лекция I''' (14 янв). Где и почему используют Haskell? Синтаксис. Ленивые вычисления. [https://github.com/Haskell-HSE/haskell-lectures-2025/blob/main/src/L1_Intro.md Конспект]. [https://disk.yandex.ru/d/IoakBXz_6yygPw/%D0%9F%D1%80%D0%BE%D0%BC%D1%8B%D1%88%D0%BB%D0%B5%D0%BD%D0%BD%D0%BE%D0%B5%20%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5%20%D0%BD%D0%B0%20Haskell/%D0%9B%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%202025-01-14T09-57-14Z.mp4 Запись].
* '''Семинар I''' (15 янв). Stack. Типы данных. [https://github.com/ilyakooo0/production-haskell/tree/f7a77e80fd059a0d5b181cb7f020bb04859ac0bf/seminars/1 Материалы]. [https://disk.yandex.ru/d/IoakBXz_6yygPw/%D0%9F%D1%80%D0%BE%D0%BC%D1%8B%D1%88%D0%BB%D0%B5%D0%BD%D0%BD%D0%BE%D0%B5%20%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5%20%D0%BD%D0%B0%20Haskell/%D0%A1%D0%B5%D0%BC%D0%B8%D0%BD%D0%B0%D1%80%202025-01-15T08-03-06Z%20(2).mp4 Запись].
* '''Лекция II''' (21 янв). Сравнение с образцом. Композиция. Классы типов Eq, Ord, Num, Read, Show. Основы работы с IO. [https://github.com/Haskell-HSE/haskell-lectures-2025/blob/main/src/L1_Intro.md Конспект]. [https://disk.yandex.ru/d/IoakBXz_6yygPw/%D0%9F%D1%80%D0%BE%D0%BC%D1%8B%D1%88%D0%BB%D0%B5%D0%BD%D0%BD%D0%BE%D0%B5%20%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5%20%D0%BD%D0%B0%20Haskell/%D0%9B%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%202025-01-21T10-05-23Z%20(1).mp4 Запись].
* '''Семинар II''' (22 янв). Сбалансированные деревья. [https://github.com/ilyakooo0/production-haskell/tree/f7a77e80fd059a0d5b181cb7f020bb04859ac0bf/seminars/1 Материалы]. [https://disk.yandex.ru/d/IoakBXz_6yygPw/%D0%9F%D1%80%D0%BE%D0%BC%D1%8B%D1%88%D0%BB%D0%B5%D0%BD%D0%BD%D0%BE%D0%B5%20%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5%20%D0%BD%D0%B0%20Haskell/%D0%A1%D0%B5%D0%BC%D0%B8%D0%BD%D0%B0%D1%80%202025-01-22T08-12-26Z%20(2).mp4 Запись].
* '''Лекция III''' (28 янв). Законы классов типов. Классы Semigroup, Monoid, Foldable, Functor, Applicative, Monad. [https://github.com/Haskell-HSE/haskell-lectures-2025/blob/main/src/L2_Laws.md Конспект]. [https://disk.yandex.ru/d/IoakBXz_6yygPw/%D0%9F%D1%80%D0%BE%D0%BC%D1%8B%D1%88%D0%BB%D0%B5%D0%BD%D0%BD%D0%BE%D0%B5%20%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5%20%D0%BD%D0%B0%20Haskell/%D0%9B%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%202025-01-28T09-59-42Z.mp4 Запись].
* '''Семинар III''' (29 янв). Практика с моноидами. [https://github.com/ilyakooo0/production-haskell/tree/f7a77e80fd059a0d5b181cb7f020bb04859ac0bf/seminars/2 Материалы]. [https://disk.yandex.ru/d/IoakBXz_6yygPw/%D0%9F%D1%80%D0%BE%D0%BC%D1%8B%D1%88%D0%BB%D0%B5%D0%BD%D0%BD%D0%BE%D0%B5%20%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5%20%D0%BD%D0%B0%20Haskell/%D0%A1%D0%B5%D0%BC%D0%B8%D0%BD%D0%B0%D1%80%202025-01-29T08-09-45Z%20(2).mp4 Запись].
* '''Лекция IV''' (04 фев). Важнейшие примеры монад: Identity, Maybe, Either, State, IO. [https://github.com/Haskell-HSE/haskell-lectures-2025/blob/main/src/L04_Monads.hs Конспект]. [https://disk.yandex.ru/d/IoakBXz_6yygPw/%D0%9F%D1%80%D0%BE%D0%BC%D1%8B%D1%88%D0%BB%D0%B5%D0%BD%D0%BD%D0%BE%D0%B5%20%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5%20%D0%BD%D0%B0%20Haskell/%D0%9B%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%202025-02-04T09-58-25Z.mp4 Запись].
* '''Семинар IV''' (05 фев). Тестирование, основанное на свойствах. Консультация к ДЗ-1. [ Материалы]. [https://disk.yandex.ru/d/IoakBXz_6yygPw/%D0%9F%D1%80%D0%BE%D0%BC%D1%8B%D1%88%D0%BB%D0%B5%D0%BD%D0%BD%D0%BE%D0%B5%20%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5%20%D0%BD%D0%B0%20Haskell/%D0%A1%D0%B5%D0%BC%D0%B8%D0%BD%D0%B0%D1%80%202025-02-05T08-09-52Z%20(2).mp4 Запись].
* '''Лекция V''' (11 фев). Парсинг как сайд-эффект. Комбинаторы парсеров. Классы Alternative и MonadPlus. [https://github.com/Haskell-HSE/haskell-lectures-2025/blob/main/src/L05_Parsers.hs Конспект]. [https://disk.yandex.ru/d/IoakBXz_6yygPw/%D0%9F%D1%80%D0%BE%D0%BC%D1%8B%D1%88%D0%BB%D0%B5%D0%BD%D0%BD%D0%BE%D0%B5%20%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5%20%D0%BD%D0%B0%20Haskell/%D0%9B%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%202025-02-11T10-00-44Z.mp4 Запись].
* '''Семинар V''' (12 фев). Генераторы случайных чисел. Консультация к ДЗ-1. [ Материалы]. [https://disk.yandex.ru/d/IoakBXz_6yygPw/%D0%9F%D1%80%D0%BE%D0%BC%D1%8B%D1%88%D0%BB%D0%B5%D0%BD%D0%BD%D0%BE%D0%B5%20%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5%20%D0%BD%D0%B0%20Haskell/%D0%A1%D0%B5%D0%BC%D0%B8%D0%BD%D0%B0%D1%80%202025-02-12T08-08-49Z%20(2).mp4 Запись].
* '''Лекция VI''' (18 фев). Композиция (аппликативных) функторов. Трансформеры монад. [https://github.com/Haskell-HSE/haskell-lectures-2025/blob/main/src/L06_Transformers.hs Конспект]. [https://disk.yandex.ru/d/IoakBXz_6yygPw/%D0%9F%D1%80%D0%BE%D0%BC%D1%8B%D1%88%D0%BB%D0%B5%D0%BD%D0%BD%D0%BE%D0%B5%20%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5%20%D0%BD%D0%B0%20Haskell/%D0%9B%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%202025-02-18T10-00-14Z.mp4 Запись].
* '''Семинар VI''' (19 фев). TBA. [ Материалы]. [ Запись].
* '''Лекция VII''' (25 фев). Классы монад. Монада Free. Параметричность. [https://github.com/Haskell-HSE/haskell-lectures-2025/blob/main/src/L07_Parametricity.hs Конспект]. [ Запись].
* '''Семинар VII''' (26 фев). TBA. [ Материалы]. [ Запись].
* '''Лекция VIII''' (04 мар). TBA. [ Конспект]. [ Запись].
* '''Семинар VIII''' (05 мар). TBA. [ Материалы]. [ Запись].
* '''Лекция IX''' (11 мар). TBA. [ Конспект]. [ Запись].
* '''Семинар IX''' (12 мар). TBA. [ Материалы]. [ Запись].
* '''Лекция X''' (18 мар). TBA. [ Конспект]. [ Запись].
* '''Семинар X''' (19 мар). TBA. [ Материалы]. [ Запись].

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

Практические задания по пройденным темам в виде мини-проектов stack. За каждое домашнее задание можно получить до 12 баллов.

* [https://classroom.github.com/classrooms/156670441-enterprise-programming-in-haskell-2025/assignments/haskell-basics Домашнее задание 1]. Дедлайн '''21 февраля в 23:59'''.
* '''Домашнее задание 2''' снимается. ''ОДЗ-2=max(ОДЗ-3, ОДЗ-4)''.
* [https://classroom.github.com/a/K-qtPRYu Домашнее задание 3]. Дедлайн '''16 марта в 23:59'''.
* [https://classroom.github.com/a/eTQ7otGb Домашнее задание 4]. Дедлайн '''23 марта в 23:59'''.

=== Проект ===

В качестве проекта предлагается доработать одно из домашних заданий следующим образом:

<ul>
<li>Расширить функционал приложения, выполненного в домашнем задании (масштаб работ нужно обсудить с лектором либо с семинаристом) (4 балла из 10);</li>
<li>Покрыть код тестами (2 балла из 10);</li>
<li>Не использовать <code>unsafe</code>, если это не было обговорено заранее (2 балла из 10);</li>
<li>Проанализировать производительность приложения (1 балл из 10; 2 балла, если в проекте разрешён unsafe);</li>
<li>Поддерживать чистоту кода (1 балл из 10; 2 балла, если в проекте разрешён unsafe):
<ul>
<li>предпочитать использовать готовые комбинаторы из стандартной библиотеки вместо явного паттерн-матчинга стандартных типов данных;</li>
<li>предпочитать point-free стиль, где это разумно;</li>
<li>предпочитать пользоваться подсказками HLint;</li>
<li>код должен быть консистентно отформатирован, неиспользованных импортов быть не должно;</li>
<li>если в проекте разрешён unsafe, он должен быть отделён от остального приложения какой-то безопасной абстракцией.</li>
</ul>
</li>
</ul>

Возможны групповые проекты. Также возможны инициативные темы; они обсуждаются индивидуально, но разбалловка остаётся такой же.

Проект должен быть оформлен в приватном репозитории на github. Оценка выставляется за проект в том состоянии, в котором находилась default ветка репозитория (скорее всего main либо master) '''в полночь перед защитой'''. Либо можно оформить сдачу в виде пулл-реквеста.

Защита проекта проводится во время весенней сессии.

=== Оценивание ===

Итог = Округление(min(10, 0.64 * ДЗ + 0.36 * ПР)),

где ДЗ – средняя оценка за все домашние задания, ПР – оценка за проектную работу.

Округление арифметическое.

== Дополнительная литература ==

* Will Kurt – Get Programming with Haskell
* Bryan O'Sullivan, Don Stewart, John Goerzen – Real World Haskell
* Alexander Granin – Functional Design and Architecture
* Sandy Maguire – Algebra-Driven Design

Haskell 25 - История изменений

imported>TurtlePU: /* Домашние задания */