• 2 июля 2015, четверг
  • Санкт-Петербург, Staro-Petergofskiy pr., 19 St Petersburg

fprog july

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

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

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

1110 дней назад
2 июля 2015 c 19:00 до 23:00
Санкт-Петербург
Staro-Petergofskiy pr., 19 St Petersburg

Летняя встреча любителей функционального программирования и профессионалов

Программа:

Алексей Чепурной

"Теорема Фишера-Линч-Патерсона (FLP Impossibility Theorem) является одним из наиболее значимых результатов в изучении распределенных алгоритмов, о ней не помешает узнать любому разработчику распределенных систем. Coq, является, с одной стороны, языком функционального программирования с зависимыми типами, а с другой — системой доказательств теорем, основанной на интуиционистской логике.  В выступлении рассказ будет как о теореме и ее важности для разработчиков, так и о простом объяснении ее доказательства в Coq-коде.

Иван Анисимов

Reactive Streams (и его реализации на Akka/Scala).

Круглый стол про ФП

Регистрация

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

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

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

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