fprog 16.01

Встреча / Meetup сайт события https://spb-fp-meetup.timepad.ru/event/281642/

Добавить в календарь:
Поделиться:

Первая в 2016 году встреча профессионалов и любителей функционального программирования в Санкт-Петербурге.

 

 

Официальная часть — Рыжиков Николай

Результаты прошлого года. Планы на год грядущий. Напутственные слова, агитация и проч.

 

Лямбда-куб — Мария Давыдова
Рассказ о формализме, объединяющем различные системы типов: от Хинлди-Милнера до Мартин-Лёфа

 

Зачем нужен функциональный пакетный менеджер? — Велесюк Максим
Рассмотрим проблемы различных подходов к управлению пакетами, и как эти проблемы решаются в функциональном подходе

Комментарии (0):

Оставлять комментарии могут только зарегистрированные пользователи

Для получения embed кода необходимо кликнуть правой
кнопкой мыши на видео и выбрать пункт меню
'Сгенерировать HTML код'

Забыли пароль? Регистрация