В эту среду, 26 сентября состоится очередное собрание LUG.

На этот раз к нам придёт не один докладчик, а сразу несколько - мы приютили у себя FProg SPb - петербургское сообщество разработчиков неравнодушных к функциональным языкам программирования.

Программа (может менятся, уточняйте на странице встречи https://spb-fp-meetup.timepad.ru/event/809633/):

1) «network-transport-cadet: Коммодизируем F2F-приложения», Дмитрий Волков, разработчик GNUnet, расскажет, как делать практические P2P-приложения проще и быстрее. Иногда сделать что-то от пира к пиру быстрее или приватнее, чем через административно один сервер, но, чтобы вместе писать код, нам нужен Microsoft, а чтобы перекинуть файл — Dropbox. Кажется, часть причин техническая и писать хороший P2P сложно, поэтому попробуем понизить порог вхождения до уровня написания CRUD-сайта через GNUnet и Haskell.

2) «Формальная модель блокчейн-системы и ее реализация на языке Haskell», Агапов Георгий, в прошлом один из ведущих разработчиков криптовалюты Cardano SL, а на данный момент программист в Serokell OU, где с апреля 2018 управляет разработкой фреймворка для построения блокчейн-систем, которому он и посвятит доклад. В докладе предлагается формальная модель блокчейн-системы, формализация которой производится с применением системы типов Haskell. Разработка формальной модели происходит одновременно с ее использованием в построении функционального фреймворка для проектирования и разработки криптовалют. В докладе будет также рассмотрена мотивация к построению такой модели, методы, использующиеся для ее разработки и некоторые дополнительные возможности в построении блокчейн-систем, открывшиеся авторам как результат разработки модели.

3) «Двунаправленный маппинг данных на примере ironhide», Тропин Андрей, инженер в HealthSamurai, делающий fullstack clojure для HealthIT и open source в свободное время, расскажет про то, как манипулировать древовидными структурами данных и их представлениями (json, xml, yaml, etc), а также о том, какие существуют решения, как придумать свой декларативный легкосериализуемый язык и написать для него интерпретатор.

Ещё может будет трансляция и запись - смотрите сообщения в нашем канале telegram

Когда: 26 сентября 2018
Во сколько: с 19 до 22
Где: 10-я линия В.О. 33/35, ф-т Географии СПбГУ, ЦДО "Феникс" (большая белая дверь наротив проходной). Охране сказать чтобы пропустили в Феникс.