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