Бакалавриат 2023/2024

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

Лучший по критерию «Полезность курса для расширения кругозора и разностороннего развития»

Лучший по критерию «Новизна полученных знаний»

Статус: Курс по выбору (Прикладная математика и информатика)

Направление: 01.03.02. Прикладная математика и информатика

Кто читает: Департамент больших данных и информационного поиска

Где читается: Факультет компьютерных наук

Когда читается: 4-й курс, 3 модуль

Формат изучения: без онлайн-курса

Охват аудитории: для своего кампуса

Преподаватели: Костюченко Илья Игоревич, Соколов Павел Павлович

Язык: русский

Кредиты: 4

Контактные часы: 40

Программа дисциплины

Аннотация

На вводном курсе по функциональному программированию вы познакомились с лямбда-исчислением и языком Haskell; здесь вы на примере реальных проектов увидите, как раскрыть весь потенциал языка в промышленном сеттинге, чтобы писать красивый, короткий и поддерживаемый код. В ходе решения задач и написания заключительного проекта вам придётся: * писать DSL в несколько строчек кода * строить математически точные абстракции * писать эффективный код на Haskell * выражать спецификацию в типах * писать property-based тесты

Цель освоения дисциплины

• Научиться продуктивно программировать на Haskell
• Познакомиться с промышленными стандартами разработки на Haskell
• Научиться строить математически точные абстракции

Планируемые результаты обучения

• Освоение функциональной парадигмы решения задач
• Умение разделять код на хорошо изолируемые компоненты
• Умение писать эффективный код на Haskell

Содержание учебной дисциплины

• Лекция 1
• Лекция 2
• Лекция 3
• Лекция 4
• Лекция 5
• Лекция 6
• Лекция 7
• Лекция 8
• Лекция 9
• Лекция 10

Элементы контроля

• Проект
  Устный рассказ о проекте, выполненном на Haskell за время обучения на курсе. Тема проекта – одна из предложенных либо инициативная.
• Домашнее задание
  Содержит несколько практических задач по темам лекций и семинаров. В сумме за домашнее задание может быть выставлено до 12 баллов (2 балла – бонусные)

Промежуточная аттестация

• 2023/2024 учебный год 3 модуль
  Итог = Округление(min(10, 0.64 * ДЗ + 0.36 * ПР)), где ДЗ – средняя оценка за все домашние задания, ПР – оценка за проектную работу. Округление арифметическое.

Список литературы

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

• Душкин, Р. В. Функциональное программирование на языке Haskell : учебник / Р. В. Душкин. — Москва : ДМК Пресс, 2008. — 609 с. — ISBN 5-94074-335-8. — Текст : электронный // Лань : электронно-библиотечная система. — URL: https://e.lanbook.com/book/1247 (дата обращения: 00.00.0000). — Режим доступа: для авториз. пользователей.
• Курт, У. Программируй на Haskell : руководство / У. Курт , перевод с английского Я. О. Касюлевича. — Москва : ДМК Пресс, 2019. — 648 с. — ISBN 978-5-97060-694-0. — Текст : электронный // Лань : электронно-библиотечная система. — URL: https://e.lanbook.com/book/123706 (дата обращения: 00.00.0000). — Режим доступа: для авториз. пользователей.

Рекомендуемая дополнительная литература

• Hutton, G. (2007). Programming in Haskell. Cambridge, UK: Cambridge University Press. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=206716

Авторы

• Оруджева Альбина Александровна