Бакалавриат
2024/2025
Промышленное программирование на Haskell
Статус:
Курс по выбору (Компьютерные науки и анализ данных)
Направление:
01.03.02. Прикладная математика и информатика
Где читается:
Факультет компьютерных наук
Когда читается:
4-й курс, 3 модуль
Формат изучения:
без онлайн-курса
Охват аудитории:
для своего кампуса
Язык:
русский
Кредиты:
4
Контактные часы:
40
Программа дисциплины
Аннотация
На вводном курсе по функциональному программированию вы познакомились с лямбда-исчислением и языком Haskell; здесь вы на примере реальных проектов увидите, как раскрыть весь потенциал языка в промышленном сеттинге, чтобы писать красивый, короткий и поддерживаемый код. В ходе решения задач и написания заключительного проекта вам придётся:
* писать DSL в несколько строчек кода
* строить математически точные абстракции
* писать эффективный код на Haskell
* выражать спецификацию в типах
* писать property-based тесты