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