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

Drubin: Перенос дз1

2024-03-10T18:11:58Z

Перенос дз1

← Предыдущая версия		Версия от 18:11, 10 марта 2024
Строка 95:		Строка 95:
	Практические задания по пройденным темам в виде мини-проектов stack. За каждое домашнее задание можно получить до 12 баллов.		Практические задания по пройденным темам в виде мини-проектов stack. За каждое домашнее задание можно получить до 12 баллов.

	* [https://classroom.github.com/a/uTxdKUjY Домашнее задание 1]. Дедлайн '''10 марта (вс) в 23:59'''.		* [https://classroom.github.com/a/uTxdKUjY Домашнее задание 1]. Дедлайн '''11 марта (пн) в 23:59'''.
	* [ Домашнее задание 2]. Дедлайн '''TBA'''.		* [ Домашнее задание 2]. Дедлайн '''TBA'''.
	* [ Домашнее задание 3]. Дедлайн '''TBA'''.		* [ Домашнее задание 3]. Дедлайн '''TBA'''.

Drubin: ДЗ перенесено

2024-03-04T11:58:12Z

ДЗ перенесено

← Предыдущая версия		Версия от 11:58, 4 марта 2024
Строка 95:		Строка 95:
	Практические задания по пройденным темам в виде мини-проектов stack. За каждое домашнее задание можно получить до 12 баллов.		Практические задания по пройденным темам в виде мини-проектов stack. За каждое домашнее задание можно получить до 12 баллов.

	* [https://classroom.github.com/a/uTxdKUjY Домашнее задание 1]. Дедлайн '''5 марта (вт) в 23:59'''.		* [https://classroom.github.com/a/uTxdKUjY Домашнее задание 1]. Дедлайн '''10 марта (вс) в 23:59'''.
	* [ Домашнее задание 2]. Дедлайн '''TBA'''.		* [ Домашнее задание 2]. Дедлайн '''TBA'''.
	* [ Домашнее задание 3]. Дедлайн '''TBA'''.		* [ Домашнее задание 3]. Дедлайн '''TBA'''.

Drubin: Добавлены ссылки и материалы

2024-02-20T08:55:50Z

Добавлены ссылки и материалы

← Предыдущая версия		Версия от 08:55, 20 февраля 2024
Строка 78:		Строка 78:
	* '''Лекция 05.02'''. Синтаксис. Ленивые вычисления. Типы данных. Классы типов. [https://github.com/Haskell-HSE/haskell-lectures-2024/blob/main/1.Intro.md Конспект]. [ Запись].		* '''Лекция 05.02'''. Синтаксис. Ленивые вычисления. Типы данных. Классы типов. [https://github.com/Haskell-HSE/haskell-lectures-2024/blob/main/1.Intro.md Конспект]. [ Запись].
	* '''Семинар 07.02'''. Не состоялся.		* '''Семинар 07.02'''. Не состоялся.
	* '''Лекция 12.02'''. Законы классов типов. Классы Semigroup, Monoid, Foldable, Functor, Applicative, Monad. Тестирование свойств. [ Конспект]. [ Запись].		* '''Лекция 12.02'''. Законы классов типов. Классы Semigroup, Monoid, Foldable, Functor, Applicative, Monad. Тестирование свойств. [ Конспект]. [https://disk.yandex.ru/d/6R3S8bSEkRoE8Q/Лекция%202024-02-12T13-19-29Z.mp4 Запись].
	* '''Семинар 14.02'''. ~~???~~. [ Материалы]. [ Запись].		* '''Семинар 14.02'''. Классы типов. Моноиды. Foldable. Map. [https://github.com/ilyakooo0/production-haskell/tree/dd8560938a15da072a1e1c17b1a80cb9d22e1920/seminars/1 Материалы]. [https://disk.yandex.ru/d/6R3S8bSEkRoE8Q/Семинар%2014.02.mkv Запись].
	* '''Лекция 19.02'''. Примеры монад: Maybe, Either, Reader, Writer, State. Монада парсера. Класс Alternative. [ Конспект]. [ Запись].		* '''Лекция 19.02'''. Примеры монад: Maybe, Either, Reader, Writer, State. Монада парсера. Класс Alternative. [ Конспект]. [https://disk.yandex.ru/d/6R3S8bSEkRoE8Q/Лекция%202024-02-19.mp4 Запись].
	* '''Семинар 21.02'''. TBA. [ Материалы]. [ Запись].		* '''Семинар 21.02'''. TBA. [ Материалы]. [ Запись].
	* '''Лекция 26.02'''. TBA. [ Конспект]. [ Запись].		* '''Лекция 26.02'''. TBA. [ Конспект]. [ Запись].

Drubin: Добавлена ссылка на записи занятий

2024-02-20T08:48:06Z

Добавлена ссылка на записи занятий

← Предыдущая версия		Версия от 08:48, 20 февраля 2024
Строка 19:		Строка 19:
	Материалы курса: https://github.com/Haskell-HSE		Материалы курса: https://github.com/Haskell-HSE

	Записи лекций и семинаров: ~~TBD~~		Записи лекций и семинаров: https://disk.yandex.ru/d/6R3S8bSEkRoE8Q

	Таблица с оценками: TBD		Таблица с оценками: TBD

TurtlePU: /* Лекции, семинары */

2024-02-19T22:36:46Z

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

← Предыдущая версия		Версия от 22:36, 19 февраля 2024
Строка 77:		Строка 77:

	* '''Лекция 05.02'''. Синтаксис. Ленивые вычисления. Типы данных. Классы типов. [https://github.com/Haskell-HSE/haskell-lectures-2024/blob/main/1.Intro.md Конспект]. [ Запись].		* '''Лекция 05.02'''. Синтаксис. Ленивые вычисления. Типы данных. Классы типов. [https://github.com/Haskell-HSE/haskell-lectures-2024/blob/main/1.Intro.md Конспект]. [ Запись].
			* '''Семинар 07.02'''. Не состоялся.
	* '''Лекция 12.02'''. Законы классов типов. Классы Semigroup, Monoid, Foldable, Functor, Applicative, Monad. Тестирование свойств. [ Конспект]. [ Запись].		* '''Лекция 12.02'''. Законы классов типов. Классы Semigroup, Monoid, Foldable, Functor, Applicative, Monad. Тестирование свойств. [ Конспект]. [ Запись].
	* '''Семинар 14.02'''. [ Материалы]. [ Запись].		* '''Семинар 14.02'''. ???. [ Материалы]. [ Запись].
	* '''Лекция 19.02'''. Примеры монад: Maybe, Either, Reader, Writer, State. Монада парсера. Класс Alternative. [ Конспект]. [ Запись].		* '''Лекция 19.02'''. Примеры монад: Maybe, Either, Reader, Writer, State. Монада парсера. Класс Alternative. [ Конспект]. [ Запись].
			* '''Семинар 21.02'''. TBA. [ Материалы]. [ Запись].
			* '''Лекция 26.02'''. TBA. [ Конспект]. [ Запись].
			* '''Семинар 28.02'''. TBA. [ Материалы]. [ Запись].
			* '''Лекция 04.03'''. TBA. [ Конспект]. [ Запись].
			* '''Семинар 06.03'''. TBA. [ Материалы]. [ Запись].
			* '''Лекция 11.03'''. TBA. [ Конспект]. [ Запись].
			* '''Семинар 13.03'''. TBA. [ Материалы]. [ Запись].
			* '''Лекция 18.03'''. TBA. [ Конспект]. [ Запись].
			* '''Семинар 20.03'''. TBA. [ Материалы]. [ Запись].

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

TurtlePU: /* Лекции, семинары */

2024-02-19T22:31:17Z

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

← Предыдущая версия		Версия от 22:31, 19 февраля 2024
Строка 75:		Строка 75:

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

			* '''Лекция 05.02'''. Синтаксис. Ленивые вычисления. Типы данных. Классы типов. [https://github.com/Haskell-HSE/haskell-lectures-2024/blob/main/1.Intro.md Конспект]. [ Запись].
			* '''Лекция 12.02'''. Законы классов типов. Классы Semigroup, Monoid, Foldable, Functor, Applicative, Monad. Тестирование свойств. [ Конспект]. [ Запись].
			* '''Семинар 14.02'''. [ Материалы]. [ Запись].
			* '''Лекция 19.02'''. Примеры монад: Maybe, Either, Reader, Writer, State. Монада парсера. Класс Alternative. [ Конспект]. [ Запись].

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

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

2024-02-19T22:24:44Z

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

← Предыдущая версия		Версия от 22:24, 19 февраля 2024
Строка 80:		Строка 80:
	Практические задания по пройденным темам в виде мини-проектов stack. За каждое домашнее задание можно получить до 12 баллов.		Практические задания по пройденным темам в виде мини-проектов stack. За каждое домашнее задание можно получить до 12 баллов.

	~~Условия публикуются~~ в ~~репозитории курса~~.		* [https://classroom.github.com/a/uTxdKUjY Домашнее задание 1]. Дедлайн '''5 марта (вт) в 23:59'''.
			* [ Домашнее задание 2]. Дедлайн '''TBA'''.
			* [ Домашнее задание 3]. Дедлайн '''TBA'''.

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

TurtlePU: /* Ссылки */

2024-02-19T22:21:07Z

Ссылки

← Предыдущая версия		Версия от 22:21, 19 февраля 2024
Строка 17:		Строка 17:
	Чат в телеграм: https://t.me/+lcim6Ukmojc5ZGUy		Чат в телеграм: https://t.me/+lcim6Ukmojc5ZGUy

	Материалы курса: ~~TBD~~		Материалы курса: https://github.com/Haskell-HSE

	Записи лекций и семинаров: TBD		Записи лекций и семинаров: TBD

TurtlePU: Новая страница: «== Промышленное программирование на Haskell, часть 1 == Весенний курс по выбору для студентов…»

2024-01-15T11:46:08Z

Новая страница: «== Промышленное программирование на Haskell, часть 1 == Весенний курс по выбору для студентов…»

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

== Промышленное программирование на Haskell, часть 1 ==

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

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

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

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

Ассистент: Даниил Рубин aka [https://t.me/supremeSwings @supremeSwings].

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

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

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

Материалы курса: TBD

Записи лекций и семинаров: TBD

Таблица с оценками: TBD

== Setting up ==

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

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

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

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

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

Условия публикуются в репозитории курса.

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

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

<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