logo ict.moscow
logo ict.moscow

FProg Msk

79
Митап
07.11.19 | 19:0022:00Покровский бульвар, д. 11, корп. Z

О мероприятии

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

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

Расскажите знакомым:

Добавить мое событие в календарь ICT.Moscow

Что такое ICT.Moscow?

ICT.Moscow — открытая платформа о цифровых технологиях в Москве. Мы создаем наиболее полную картину развития рынка технологий в городе и за его пределами, помогаем бизнесу следить за главными трендами, не упускать возможности и находить новых партнеров.

Если не указано иное, материалы доступны по лицензии Creative Commons BY 4.0

При поддержке Правительства Москвы