Industrial Programming in Haskell, Part 1

2023/2024

Academic Year

RUS

Instruction in Russian

3

ECTS credits

Delivered at:

Big Data and Information Retrieval School

Course type:

Elective course

When:

1 year, 3 module

Instructors

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

Sokolov, Pavel

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

Аннотация

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