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

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

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

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

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

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

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

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

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

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

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

Преподаватели: Соколов Павел Павлович

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

Кредиты: 4

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

Полная версия программы учебной дисциплины

Аннотация

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

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

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

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

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

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

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

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

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

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

2022/2023 учебный год 3 модуль
0.36 * Проект + 0.64 * Домашнее задание

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