В программе вечера:

• «Практика использования hasql», Александр Вершилов, разработчик в Сириус. В докладе будет рассмотрена практика использования библиотеки hasql для работы с базой данных: когда ее стоит использовать и как уменьшить количество бойлерплейта.
• «Тестирование численного кода», Алексей Худяков, haskell-разработчик. Арифметика с плавающей точкой легко и непринужденно утопит любые наивно написанные тесты. На примере тестов для math-functions Алексей расскажет, как можно писать работающие тесты, как можно оценивать численные ошибки и какие графики надо рисовать, чтобы понять, что означает падающий тест.
• «TLA+ — от котиков к смарт-контрактам», Михаил Потанин, разработчик языка смарт-контрактов Ride. Задача проверка моделей встречается часто: от решения логических головоломок, до спецификации смарт-контрактов. Рассказ будет про TLA+ — один из инструментов, помогающий решать данную задачу.
• «Фреймворк Gaudi для эксперимента LHCb». Будет обзорный мини-доклад, посвященный обработке событий на детекторе LHCb и тому, без каких фичей функционального программирования тут не обошлось.