Магистратура 2023/2024

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

Статус: Курс по выбору (Современные компьютерные науки)

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

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

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

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

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

Охват аудитории: для всех кампусов НИУ ВШЭ

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

Прогр. обучения: Современные компьютерные науки

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

Кредиты: 3

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

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

Аннотация

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