- Meetup
- Location
Встреча инженеров интересующихся функциональным программированием (clojure, erlang, haskell, scala)
Программа будет состоять из докладов по 30 мин и обсуждений по 20 минут:
Clojure&web: проблемы Дмитрий Грошев
Веб-разработка в мейнстримных языках вроде Ruby cломана, и в Clojure мы по привычке сломали её так же. В докладе мы поговорим о проблемах с популярными библиотеками для веб-разработки, потенциальных решениях и открытых вопросах.
Компилятор статических сайтов на Clojure Дмитрий Бушенко
Возможности планирования NIF в Erlang 17 Игнат Толчанов
С момента появления NIF к ним предъявлялись достаточно жёсткие требования по времени выполнения. В докладе пойдёт речь о механизме, появившемся в Erlang 17, который позволяет преодолеть это ограничение.
Проект bitFunctor. Распределенная система хранения специфицированных элементов функционального кода Андрей Ляшин
В докладе рассказывается о проекте, ставящего своей целью создание распределенной программной среды, позволяющей хранить и осуществлять поиск элементов фунционального кода (функций и типов), их строгих спецификаций и доказательств соответствия кода спецификации в рамках среды Coq. Описываются возможные подходы к созданию подобной системы, выносятся на обсуждение ряд потенциальных проблем, могущих возникнуть при ее эксплуaтации. Дается обзор текущей стадии разработки. Доклад нацелен в большей степени на профессиональную дискуссию.
Реализация Use Case архитектуры на clojure с использованием prismatic schema Николай Рыжиков
Ожидаются еще доклады - следите за обновлениями