2024/2025

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

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

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

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

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

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

Кредиты: 3

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

Аннотация

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