Теория категорий для разработчиков

Лекция / семинар сайт события http://vk.com/category_agile

Добавить в календарь:
Поделиться:

16 сентября в digital пространстве KL10TCH состоится лекция Стаса Капулкина, посвящённая применению теории категорий для разработчиков.

 

 

Математикам теория принесла новый язык точек и стрелок - строгий, абстрактный, простой и выразительный (новые основания математики). Для программирования теория категорий - формализация, гораздо лучшая, чем машина Тьюринга. Она дает понятные подходы для построения архитектуры и проектирования классов, о чем и будет рассказано на лекции.

 

  • Основы теории, примеры на простых математических объектах
  • Программы, как категории
  • Анализ основных паттернов и средств языка в терминах ТК

Спикер

Станислав Капулкин

математик-программист, окончил ИТМО в 2011 году. Теоретическую информатику изучал в университете, были лекции в Computer Science клубе и физмате клубе при ПОМИ. Так же Станислав прослушал ряд курсов в АУ РАН (mit.spbau.ru). Начал работать на последних годах обучения и сейчас программирует уже больше 5 лет.

С теорией категорий Станислав познакомился чуть меньше трех лет назад и начал применять ее для проектирования. Долгое время изучал теорию и набирался опыта работы с ней. На последних двух проектах (Winghouse.ruNeurointegrum.com) использовал ТК вместе с другими участниками команды. Сейчас в планах - популяризация ТК и изучение возможностей ТК в области верификации программ.

Лекция в первую очередь будет интересна студентам и начинающим разработчикам. Профессионалам так же будет интересна.

Отзывы людей, уже знакомых с ТК:

"После краткого ознакомления с теорией многие вещи, связанные с проектированием и разработкой сразу встают на свои места. Те простые истины, которые укладываются в паре слайдов презентации многим открываются лишь после многих лет опыта работы в ИТ.
Я считаю, что стоит включить этот материал в программу ИТ специальностей ВУЗов."
Александр Едунов

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

Евгений Черный

Лекция начинается в 20:30.
Вход - 250 р.

Комментарии (0):

Оставлять комментарии могут только зарегистрированные пользователи

Для получения embed кода необходимо кликнуть правой
кнопкой мыши на видео и выбрать пункт меню
'Сгенерировать HTML код'

Забыли пароль? Регистрация