Адрес e-mail:

Теория категорий для программистов (Е.В. Дашков, осень 2019)

Лектор - Е.В. Дашков


Время и место: четверг 18:35 - 20:00, 420 ГК, первое занятие: 19 сентября.

Аннотация

Теория категорий представляет собой универсальный формализм, вдохновленный алгеброй и приложимый к самым разным областям математики и компьютерных наук. Система типов данных в функциональных языках программирования может рассматриваться как категория, а ряд категорных конструкций имеют практически полезную реализацию в таких языках. Курс знакомит слушателя с основными понятиями теории категорий, привлекая примеры из программирования, а также с некоторыми специальными вопросами, возникшими из подобных примеров. В качестве основного языка программирования берется Haskell.
Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

МФТИ в социальных сетях