16 сентября в digital пространстве KL10TCH состоится лекция Стаса Капулкина, посвящённая применению теории категорий для разработчиков.
Математикам теория принесла новый язык точек и стрелок - строгий, абстрактный, простой и выразительный (новые основания математики). Для программирования теория категорий - формализация, гораздо лучшая, чем машина Тьюринга. Она дает понятные подходы для построения архитектуры и проектирования классов, о чем и будет рассказано на лекции.
- Основы теории, примеры на простых математических объектах
- Программы, как категории
- Анализ основных паттернов и средств языка в терминах ТК
Спикер
|
|
Станислав Капулкин математик-программист, окончил ИТМО в 2011 году. Теоретическую информатику изучал в университете, были лекции в Computer Science клубе и физмате клубе при ПОМИ. Так же Станислав прослушал ряд курсов в АУ РАН (mit.spbau.ru). Начал работать на последних годах обучения и сейчас программирует уже больше 5 лет. С теорией категорий Станислав познакомился чуть меньше трех лет назад и начал применять ее для проектирования. Долгое время изучал теорию и набирался опыта работы с ней. На последних двух проектах (Winghouse.ru, Neurointegrum.com) использовал ТК вместе с другими участниками команды. Сейчас в планах - популяризация ТК и изучение возможностей ТК в области верификации программ. |
Лекция в первую очередь будет интересна студентам и начинающим разработчикам. Профессионалам так же будет интересна.
Отзывы людей, уже знакомых с ТК:
"После краткого ознакомления с теорией многие вещи, связанные с проектированием и разработкой сразу встают на свои места. Те простые истины, которые укладываются в паре слайдов презентации многим открываются лишь после многих лет опыта работы в ИТ.
Я считаю, что стоит включить этот материал в программу ИТ специальностей ВУЗов."
Александр Едунов
"Теория категорий настолько универсальна, что в её терминах можно описать все, что угодно, например, математические выражения, алгоритмы или поход в магазин. Как и любая теория, претендующая на всеобщность, она помогает систематизировать некоторые вещи в голове, которые всегда там были, но которые не получили конечной формы в виде некоей формализации. Именно поэтому практическую пользу довольно сложно оценить, так как, с одной стороны, она очевидна, а с другой слишком универсальна. Тем не менее, у меня периодически всплывают положения ТК, часто совсем интуитивно, при решении разных задач.
Тем не менее, я считаю, что в целом, с ТК стоит как минимум ознакомиться по тем же причинам, по которым стоит ознакомиться с философией. Но глубоко углубляться в эту теорию — не моё."
Евгений Черный
Лекция начинается в 20:30.
Вход - 250 р.