Первая в 2016 году встреча профессионалов и любителей функционального программирования в Санкт-Петербурге.
 |
Официальная часть — Рыжиков Николай
Результаты прошлого года. Планы на год грядущий. Напутственные слова, агитация и проч.
Лямбда-куб — Мария Давыдова
Рассказ о формализме, объединяющем различные системы типов: от Хинлди-Милнера до Мартин-Лёфа
Зачем нужен функциональный пакетный менеджер? — Велесюк Максим
Рассмотрим проблемы различных подходов к управлению пакетами, и как эти проблемы решаются в функциональном подходе
Official web-site
https://spb-fp-meetup.timepad.ru/event/281642/