• 26 мая 2016
  • Санкт-Петербург, Университетская набережная 7-9-11 к5А

FProg (Май 2016)

Регистрация на событие закрыта

Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.

Другие события организатора

399 дней назад
26 мая 2016 c 19:00 до 23:00
Санкт-Петербург
Университетская набережная 7-9-11 к5А

Монадный митап

Тема: монады

Время: 26 мая 2016, 19:00 — 23:00

Место: офис JetBrains (Университетская набережная, 7-9-11, к5А)

Программа:

Николай Рыжиков. Монады для самых маленьких

Мы попробуем разобраться с понятием монад,  реализовав несколько вариантов на языке JavaScript.

Михаил Симуни. Сколько надо решить задач, чтобы понять монады?

Как лучше обьяснить, что такое монады? На курсе мат-меха СПбГУ это обьясняется с помощью последовательности простых задач, и в конце участники пишут свою монаду (честно говоря, только самые способные☺. Можно ли это все рассказать за один час? Я не совсем уверен, но мы попробуем. Все задачи будут на Haskell, но знать про него почти ничего не надо. Если вы знаете, как написать на Haskell map и композицию, этого вполне достаточно.

Андрей Ляшин. Элементы теории категорий в функциональном программировании: категория типов, функторы, монады

Базовые понятия теории категорий. Категория типов. Функторы и естественные преобразования. Свойства "категориальных" монад, монады в Haskell и связь между ними. Монадные правила и их роль в программировании. Роль теории категорий в современном функциональном программировании, понятия гомотопической теории типов.

Круглый стол. Монады — где и зачем их использовать?

Регистрация

Рекомендуемые события

Организуете события? Обратите внимание на TimePad!

Профессиональная билетная система, статистика продаж 24/7, выгрузка списков участников, встроенные инструменты продвижения, личный кабинет для самостоятельного управления и еще много чего интересного.

Узнать больше