Встреча сообщества Fprog SPB

Встреча / Meetup сайт события https://plus.google.com/u/0/events/crtn44vr7fb31c5h0v2qqqi298o

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

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

Спикеры:

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

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

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

Reactive Streams вышла в релиз!

Попробуем разобраться, что это такое и где это можно применить. Разберем его реализацию на Akka и поговорим об асинхронных потоках.

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

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

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

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

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