Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.
Стартует серия московских fprog митапов! Добро пожаловать!
Первая встреча запланирована на 4 апреля 2019г. Встречаемся в офисе IPONWEB на Шаболовке, 31Г в 19-00. В программе — общение, пицца и доклады от наших активистов:
«Почти бесшовная интеграция Haskell и C/C++», Юрий Сыровецкий, разработчик компилятора политик безопасности для KasperskyOS и активист сообщества RuHaskell, расскажет о новых возможностях GHC по компоновке объектных файлов на разных языках, про смешивание кода на Haskell, C и C++ без или почти без FFI на примерах из реального проекта и про подводные камни.
«SSReflect/Mathcomp, или как приручить петуха», Антон Трунов, разработчик в Zilliqa Research Ltd., где работает над формализацией языка Scilla, поговорит про язык доказательств SSReflect и про подход мелкомасштабной рефлексии в языке Coq; расскажет про архитектурные особенности библиотеки Mathcomp, которая сплавляет стадартные составляющие Coq в органическую систему и значительно облегчает процесс разработки больших проектов по формализации.
«Реализация системы прав пользователей на Haskell», Александр Вершилов, разработчик в Tweag I/O, рассмотрит в докладе практическую реализацию иерархичной системы прав пользователей и ее применение в существующем веб-сервисе, а также затронет тему использования системы типов и расширений Haskell для усиления гарантии соблюдения прав.
Ждем всех желающих!
Когда: 4 апреля 2019
Где: ул. Шаболовка, 31Г (офис IPONWEB, 6-й этаж)
Во сколько: с 19:00 до 22:00
Вход бесплатный, регистрация обязательна.
По всем вопросам Вы всегда можете написать в наш Telegram канал или группу ВК.