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