2023/2024

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

Статус: Маго-лего

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

Когда читается: 3 модуль

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

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

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

Кредиты: 3

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

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

Аннотация

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