Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.
Первая в 2016 году встреча профессионалов и любителей фунционального программирования в Санкт-Петербурге.
Официальная часть — Рыжиков Николай
Результаты прошлого года. Планы на год грядущий. Напутственные слова, агитация и проч.
Лямбда-куб — Мария Давыдова
Рассказ о формализме, объединяющем различные системы типов: от Хинлди-Милнера до Мартин-Лёфа
Зачем нужен функциональный пакетный менеджер? — Велесюк Максим
Рассмотрим проблемы различных подходов к управлению пакетами, и как эти проблемы решаются в функциональном подходе