 |
В 1940-х годах была разработана теория категорий. Она, вместе с чуть ранее созданной теорией типов, заложила так называемые новые основания математики. Математикам теория категорий дала абстрактный, простой и интуитивный, строгий язык точек и стрелок. А программисты до сих пор рисуют кружки и линии, не зная их математической силы и начинают проектирование с классов. На лекции обсудим, как можно использовать язык теории на ежедневной основе для проектирования.
Вы увидите, что теория категорий:
- позволяет справиться со сложностью задачи разбиванием ее на части
- позволяет обоснованно, стройно и логично спроектировать классы
- вам станет проще переходить на новые языки программирования
Лекция в первую очередь будет интересна студентам и начинающим разработчикам. Профессионалам тоже будет, что послушать.
Это мероприятие из цикла семинаров для разработчиков "Школа Безупречного Кода".
Ведущий
|
|
Станислав Капулкин Математик-программист, белее семи лет в разработке. Принял участие во десятках проектов с командами различного уровня. В проектах исповедует принципы практической эффективности Текущие интересы — изучение матметодов в когнитивной психологии и поиск технологий для их применения на практике. |
