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

2023/2024

Учебный год

RUS

Обучение ведется на русском языке

3

Кредиты

Кто читает:

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

Статус:

Курс по выбору

Когда читается:

1-й курс, 3 модуль

Преподаватели

Костюченко Илья Игоревич

Соколов Павел Павлович

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

Аннотация

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