Функциональное программирование 22-23 - История изменений

Edashkov: /* Листки и код для семинаров */

2022-12-26T21:43:41Z

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

← Предыдущая версия		Версия от 21:43, 26 декабря 2022
Строка 69:		Строка 69:

	* [https://drive.google.com/file/d/1xFLVoKjOGxooPTP66noHA0KFxosjFkkL/view?usp=sharing Листок 2]		* [https://drive.google.com/file/d/1xFLVoKjOGxooPTP66noHA0KFxosjFkkL/view?usp=sharing Листок 2]

			* [https://github.com/edashkov/hse-fp-22 Лекции и семинары] Е. Дашкова

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

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

2022-12-14T21:42:05Z

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

← Предыдущая версия		Версия от 21:42, 14 декабря 2022
Строка 89:		Строка 89:
	\|[https://drive.google.com/file/d/13XvUC48ga4xjTPbVl1isVI0GIxFT0Y_u/view?usp=share_link ДЗ 4] \|\| 26.11 \|\| 26.11		\|[https://drive.google.com/file/d/13XvUC48ga4xjTPbVl1isVI0GIxFT0Y_u/view?usp=share_link ДЗ 4] \|\| 26.11 \|\| 26.11
	\|-		\|-
	\|[https://drive.google.com/file/d/14On7LzhyaasXiKm619EtKy7lqD_g9SF1/view?usp=share_link ДЗ 5] \|\| 18.12 \|\| 18.12		\|[https://drive.google.com/file/d/14On7LzhyaasXiKm619EtKy7lqD_g9SF1/view?usp=share_link ДЗ 5] \|\| 20.12 \|\| 20.12
	\|}		\|}

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

2022-12-08T13:23:49Z

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

← Предыдущая версия		Версия от 13:23, 8 декабря 2022
Строка 89:		Строка 89:
	\|[https://drive.google.com/file/d/13XvUC48ga4xjTPbVl1isVI0GIxFT0Y_u/view?usp=share_link ДЗ 4] \|\| 26.11 \|\| 26.11		\|[https://drive.google.com/file/d/13XvUC48ga4xjTPbVl1isVI0GIxFT0Y_u/view?usp=share_link ДЗ 4] \|\| 26.11 \|\| 26.11
	\|-		\|-
	\|[https://drive.google.com/file/d/14On7LzhyaasXiKm619EtKy7lqD_g9SF1/view?usp=share_link ДЗ 5] \|\| \|\|		\|[https://drive.google.com/file/d/14On7LzhyaasXiKm619EtKy7lqD_g9SF1/view?usp=share_link ДЗ 5] \|\| 18.12 \|\| 18.12
	\|}		\|}

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

2022-12-08T01:36:22Z

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

← Предыдущая версия		Версия от 01:36, 8 декабря 2022
Строка 88:		Строка 88:
	\|-		\|-
	\|[https://drive.google.com/file/d/13XvUC48ga4xjTPbVl1isVI0GIxFT0Y_u/view?usp=share_link ДЗ 4] \|\| 26.11 \|\| 26.11		\|[https://drive.google.com/file/d/13XvUC48ga4xjTPbVl1isVI0GIxFT0Y_u/view?usp=share_link ДЗ 4] \|\| 26.11 \|\| 26.11
			\|-
			\|[https://drive.google.com/file/d/14On7LzhyaasXiKm619EtKy7lqD_g9SF1/view?usp=share_link ДЗ 5] \|\| \|\|
	\|}		\|}

TurtlePU: /* Индивидуальный проект */

2022-12-04T17:35:45Z

Индивидуальный проект

← Предыдущая версия		Версия от 17:35, 4 декабря 2022
Строка 105:		Строка 105:

	== Индивидуальный проект ==		== Индивидуальный проект ==
	При желании студенты согласовывают с семинаристом проект для индивидуальной работы. Также допускается работа в группах до трех человек. Проект представляет собой решение достаточно сложной задачи по программированию и предполагает самостоятельное получение недостающих сведений. Проекты должны быть сданы до 15~~-го~~ декабря. За проект выставляется (дробная) оценка ПР от 0 до 1 балла.		При желании студенты согласовывают с семинаристом проект для индивидуальной работы. Также допускается работа в группах до трех человек. Проект представляет собой решение достаточно сложной задачи по программированию и предполагает самостоятельное получение недостающих сведений. Проекты должны быть сданы за день до защиты (до 23:59), то есть как минимум до 15 декабря. За проект выставляется (дробная) оценка ПР от 0 до 1 балла.

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

TurtlePU: /* Полезные библиотеки */

2022-12-02T16:30:57Z

Полезные библиотеки

← Предыдущая версия		Версия от 16:30, 2 декабря 2022
Строка 175:		Строка 175:

	* <code>containers</code>, <code>unordered-containers</code> — стандартные коллекции.		* <code>containers</code>, <code>unordered-containers</code> — стандартные коллекции.
			* <code>monoidal-containers</code> — некоторые стандартные коллекции с в каком-то смысле более правильными инстансами <code>Semigroup</code> и <code>Monoid</code>.
			* <code>lattices</code> — решётки (алгебраическая структура).
	* <code>servant</code> — генератор API для веб-серверов и клиентов.		* <code>servant</code> — генератор API для веб-серверов и клиентов.
	* <code>telegram-bot-simple</code> — немного устаревшая библиотека для ботов в Телеграм.		* <code>telegram-bot-simple</code> — немного устаревшая библиотека для ботов в Телеграм.
Строка 182:		Строка 184:
	* <code>async</code> — асинхронное IO.		* <code>async</code> — асинхронное IO.
	* <code>data-fix</code>, <code>free</code> — типы данных для обобщённой рекурсии.		* <code>data-fix</code>, <code>free</code> — типы данных для обобщённой рекурсии.
			* <code>QuickCheck</code> — фреймворк для property-based тестирования.
			* <code>HUnit</code> — фреймворк для юнит-тестов.

	== Материалы ==		== Материалы ==

TurtlePU: /* Полезные библиотеки */

2022-12-02T16:27:56Z

Полезные библиотеки

← Предыдущая версия		Версия от 16:27, 2 декабря 2022
Строка 179:		Строка 179:
	* <code>haskeline</code> — фреймворк для REPL интерфейсов.		* <code>haskeline</code> — фреймворк для REPL интерфейсов.
	* <code>ansi-terminal</code> — для редактирования вывода (полезно для роглайков и Game of Life).		* <code>ansi-terminal</code> — для редактирования вывода (полезно для роглайков и Game of Life).
			* <code>megaparsec</code> — фреймворк для написания парсеров.
	* <code>async</code> — асинхронное IO.		* <code>async</code> — асинхронное IO.
	* <code>data-fix</code>, <code>free</code> — типы данных для обобщённой рекурсии.		* <code>data-fix</code>, <code>free</code> — типы данных для обобщённой рекурсии.

TurtlePU: /* Полезные библиотеки */

2022-12-02T16:26:49Z

Полезные библиотеки

← Предыдущая версия		Версия от 16:26, 2 декабря 2022
Строка 173:		Строка 173:

	==== Полезные библиотеки ====		==== Полезные библиотеки ====

			* <code>containers</code>, <code>unordered-containers</code> — стандартные коллекции.
			* <code>servant</code> — генератор API для веб-серверов и клиентов.
			* <code>telegram-bot-simple</code> — немного устаревшая библиотека для ботов в Телеграм.
			* <code>haskeline</code> — фреймворк для REPL интерфейсов.
			* <code>ansi-terminal</code> — для редактирования вывода (полезно для роглайков и Game of Life).
			* <code>async</code> — асинхронное IO.
			* <code>data-fix</code>, <code>free</code> — типы данных для обобщённой рекурсии.

	== Материалы ==		== Материалы ==

TurtlePU: /* Индивидуальный проект */

2022-12-02T16:08:17Z

Индивидуальный проект

← Предыдущая версия		Версия от 16:08, 2 декабря 2022
Строка 171:		Строка 171:
	===== Как проходит защита? =====		===== Как проходит защита? =====
	Скорее всего онлайн. Вы рассказываете, какая у Вас тема, что Вы успели сделать, как устроен код (с высоты птичьего полёта, только основные типы данных, функции и инстансы). Мы можем задать Вам пару вопросов по задаче, возможным расширениям и архитектуре решения. Можно слушать защиты друг друга и задавать свои вопросы, групповые проекты защищаются всей командой сразу.		Скорее всего онлайн. Вы рассказываете, какая у Вас тема, что Вы успели сделать, как устроен код (с высоты птичьего полёта, только основные типы данных, функции и инстансы). Мы можем задать Вам пару вопросов по задаче, возможным расширениям и архитектуре решения. Можно слушать защиты друг друга и задавать свои вопросы, групповые проекты защищаются всей командой сразу.

			==== Полезные библиотеки ====

	== Материалы ==		== Материалы ==

TurtlePU: /* Частые Вопросы по проектам */

2022-12-02T16:07:11Z

Частые Вопросы по проектам

← Предыдущая версия		Версия от 16:07, 2 декабря 2022
Строка 139:		Строка 139:
	==== Частые Вопросы по проектам ====		==== Частые Вопросы по проектам ====

	Q: Какой сложности и объёма должен быть проект?		===== Какой сложности и объёма должен быть проект? =====
	A: Зависит от Вашего уровня. Подбирайте задачу, которую Вам самим интересно решать и которую Вы успеете доделать (или сделать осмысленный кусок) к дедлайну.		Зависит от Вашего уровня. Подбирайте задачу, которую Вам самим интересно решать и которую Вы успеете доделать (или сделать осмысленный кусок) к дедлайну.

	Q: Можно ли брать одну и ту же тему проекта?		===== Можно ли брать одну и ту же тему проекта? =====
	A: Да, можно, главное, чтобы проекты выполнялись самостоятельно. Обмениваться идеями можно, копировать код друг у друга — нет.		Да, можно, главное, чтобы проекты выполнялись самостоятельно. Обмениваться идеями можно, копировать код друг у друга — нет.

	Q: Можно ли выбирать тему, не предложенную преподавателями?		===== Можно ли выбирать тему, не предложенную преподавателями? =====
	A: Да, можно, темы выше — это примерные ориентиры для вдохновения. Можно взять их, можно придумать что-то своё.		Да, можно, темы выше — это примерные ориентиры для вдохновения. Можно взять их, можно придумать что-то своё.

	Q: Как аппрувнуть тему?		===== Как аппрувнуть тему? =====
	A: Связываетесь со мной (Павлом), я оцениваю совместимость уровня студента до начала прохождения курса и сложности проекта и говорю, подходит ли Вам тема или нужно её отрафинировать.		Связываетесь со мной (Павлом), я оцениваю совместимость уровня студента до начала прохождения курса и сложности проекта и говорю, подходит ли Вам тема или нужно её отрафинировать.

	Q: Оценивается ли кодстайл?		===== Оценивается ли кодстайл? =====
	A: Типы всех верхнеуровневых функций должны быть выписаны явно, а пользовательские типы и конструкторы должны иметь понятные, семантические названия. Отступы, именования локальных переменных и т.д. не проверяются.		Типы всех верхнеуровневых функций должны быть выписаны явно, а пользовательские типы и конструкторы должны иметь понятные, семантические названия. Отступы, именования локальных переменных и т.д. не проверяются.

	Q: Нужна ли документация проекта?		===== Нужна ли документация проекта? =====
	A: Haddock не обязателен, но см. комментарий про типы выше		Haddock не обязателен, но см. комментарий про типы выше

	Q: В какой форме можно сдать код проекта?		===== В какой форме можно сдать код проекта? =====
	A: В любом формате, который не предполагает нахождение вашего кода в открытом доступе и который желающие потом смогут собрать с помощью cabal build и запустить с помощью cabal run. При этом ограничений на версию GHC нет.		В любом формате, который не предполагает нахождение вашего кода в открытом доступе и который желающие потом смогут собрать с помощью cabal build и запустить с помощью cabal run. При этом ограничений на версию GHC нет.

	Q: Какой дедлайн сдачи проекта?		===== Какой дедлайн сдачи проекта? =====
	A: С выбором темы желательно определиться до начала сессии, защита будет когда-то во время сессии, возможно, в несколько дней. Код нужно прислать за день (до 23:59) до начала Вашей защиты.		С выбором темы желательно определиться до начала сессии, защита будет когда-то во время сессии, возможно, в несколько дней. Код нужно прислать за день (до 23:59) до начала Вашей защиты.

	Q: Будут ли дополнительные вопросы на понимание кода проекта?		===== Будут ли дополнительные вопросы на понимание кода проекта? =====
	A: Только в том случае, если мы начнём сомневаться в авторстве проекта.		Только в том случае, если мы начнём сомневаться в авторстве проекта.

	Q: За что производится оценивание проекта?		===== За что производится оценивание проекта? =====
	A: За навык решения не-тривиальной задачи на Haskell. Если вы решили ощутимую часть задачи, одобренной мной (Павлом), то это полный балл. Опять же, оценивание зависит от Вашего начального уровня до прохождения курса.		За навык решения не-тривиальной задачи на Haskell. Если вы решили ощутимую часть задачи, одобренной мной (Павлом), то это полный балл. Опять же, оценивание зависит от Вашего начального уровня до прохождения курса.

	Q: Как проходит защита?		===== Как проходит защита? =====
	A: Скорее всего онлайн. Вы рассказываете, какая у Вас тема, что Вы успели сделать, как устроен код (с высоты птичьего полёта, только основные типы данных, функции и инстансы). Мы можем задать Вам пару вопросов по задаче, возможным расширениям и архитектуре решения. Можно слушать защиты друг друга и задавать свои вопросы, групповые проекты защищаются всей командой сразу.		Скорее всего онлайн. Вы рассказываете, какая у Вас тема, что Вы успели сделать, как устроен код (с высоты птичьего полёта, только основные типы данных, функции и инстансы). Мы можем задать Вам пару вопросов по задаче, возможным расширениям и архитектуре решения. Можно слушать защиты друг друга и задавать свои вопросы, групповые проекты защищаются всей командой сразу.

	== Материалы ==		== Материалы ==