Реляционное программирование

Екатерина Вербицкая — аспирантка матмеха СПбГУ по информатике и исследователь в лаборатории языковых инструментов JetBrains.

На лекции пойдет речь о реляционном программировании: парадигме, в которой программы описывают математические отношения, а, значит, исполняются в разных направлениях. Так можно найти результат по заданным аргументам, и, наоборот, — по аргументам получить заданный результат. Екатерина расскажет о том, как это работает, где применяется, а также об открытых проблемах в области.

Слушателям желательно иметь представление о функциональных языках программирования.