Наша очередная встреча пройдет на общей площадке с другими ИТ-сообществами в рамках 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