Серока:
Привет! 17 марта в Санкт-Петербурге по адресу Переулок Талалихина 7 в офисе Serokell в 19:00 будет митап в виде домашних посиделок. В программе: разговорчики о функциональном программировании и Haskell в частности, формальных доказательствах, алгебре, крипте, выч. геометрии, философии, будущем и обо всем, в принципе, о чем только можно :)
Вход бесплатный, но будет классно, если вы принесете с собой еды/напитки/настолки/что сами пожелаете.
Будем рады встрече и знакомству!
Наша очередная встреча пройдет на общей площадке с другими ИТ-сообществами в рамках IT Global Meetup #12.
Секция FProg будет представлена двумя докладами:
Обзор методов программирования для Web на языке OCaml
Дмитрий Косарев, сотрудник Лаборатории языковых инструментов (СПбГУ / JetBrains Research), расскажет о том, как создавать Web-приложения на языке OCaml с помощью фреймворка Ocsigen, а также упомянет два способа заменить JavaScript с помощью OCaml.Прагматичные зависимые типы для прагматичных программистов
Вячеслав Шебанов, разработчик сервиса сообщений в VK, адепт строгой типизации, рассмотрит в своем докладе применение зависимых типов не столько для верификации, сколько для решения прикладных проблем программирования, в частности с использованием языка Idris.
А на сладкое мы оставили дебаты за типизацию совместно с PiterJS Так ли нужна статическая типизация?
Встречаемся 17 марта 2018 г. с 11:00 до 18:00 по адресу пр. Медиков д.3, к.1, КДЦ «Club House».
Вход на мероприятие бесплатный, регистрация по ссылке
https://piter-united.timepad.ru/event/672983/
Промокод: FProg