Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.
Монадный митап
Тема: монады
Время: 26 мая 2016, 19:00 23:00
Место: офис JetBrains (Университетская набережная, 7-9-11, к5А)
Программа:
Николай Рыжиков. Монады для самых маленьких
Мы попробуем разобраться с понятием монад, реализовав несколько вариантов на языке JavaScript.
Михаил Симуни. Сколько надо решить задач, чтобы понять монады?
Как лучше обьяснить, что такое монады? На курсе мат-меха СПбГУ это обьясняется с помощью последовательности простых задач, и в конце участники пишут свою монаду (честно говоря, только самые способные☺. Можно ли это все рассказать за один час? Я не совсем уверен, но мы попробуем. Все задачи будут на Haskell, но знать про него почти ничего не надо. Если вы знаете, как написать на Haskell map и композицию, этого вполне достаточно.
Андрей Ляшин. Элементы теории категорий в функциональном программировании: категория типов, функторы, монады
Базовые понятия теории категорий. Категория типов. Функторы и естественные преобразования. Свойства "категориальных" монад, монады в Haskell и связь между ними. Монадные правила и их роль в программировании. Роль теории категорий в современном функциональном программировании, понятия гомотопической теории типов.
Круглый стол. Монады где и зачем их использовать?