Продолжаем серию московских FProg митапов!
Встреча состоится 7-го ноября в стенах Высшей Школы Экономики в 19-00.
В программе вечера:
«Практика использования hasql», Александр Вершилов, разработчик в Сириус.
В докладе будет рассмотрена практика использования библиотеки hasql для работы с базой данных: когда ее стоит использовать и как уменьшить количество бойлерплейта.
«Тестирование численного кода», Алексей Худяков, haskell-разработчик.
Арифметика с плавающей точкой легко и непринужденно утопит любые наивно написанные тесты. На примере тестов для math-functions Алексей расскажет, как можно писать работающие тесты, как можно оценивать численные ошибки и какие графики надо рисовать, чтобы понять, что означает падающий тест.
«TLA+ — от котиков к смарт-контрактам», Михаил Потанин, разработчик языка смарт-контрактов Ride.
Задача проверка моделей встречается часто: от решения логических головоломок, до спецификации смарт-контрактов. Рассказ будет про TLA+ — один из инструментов, помогающий решать данную задачу.
«Фреймворк Gaudi для эксперимента LHCb», тайный спикер “Это я”.
Будет обзорный мини-доклад, посвященный обработке событий на детекторе LHCb и тому, без каких фичей функционального программирования тут не обошлось.
Ждем всех желающих! Обещаем чай и печеньки :)
Когда: 7 ноября 2019г
Где: Покровский бульвар, 11, корп. Z (НИУ ВШЭ, 2-й этаж, малый конференц-зал)
Во сколько: с 19:00 до 22:00
Вход бесплатный, регистрация обязательна:
https://msk-fp-meetup.timepad.ru/event/1096070/Также просьба взять с собой паспорта для входа!
