Функциональный Митап

Программа будет состоять из докладов по 30 мин и обсуждений по 20 минут:

Clojure&web: проблемы Дмитрий Грошев

Веб-разработка в мейнстримных языках вроде Ruby cломана, и в Clojure мы по привычке сломали её так же. В докладе мы поговорим о проблемах с популярными библиотеками для веб-разработки, потенциальных решениях и открытых вопросах.

Компилятор статических сайтов на Clojure Дмитрий Бушенко

Возможности планирования NIF в Erlang 17 Игнат Толчанов

С момента появления NIF к ним предъявлялись достаточно жёсткие требования по времени выполнения. В докладе пойдёт речь о механизме, появившемся в Erlang 17, который позволяет преодолеть это ограничение.

Проект bitFunctor. Распределенная система хранения специфицированных элементов функционального кода  Андрей Ляшин

В докладе рассказывается о проекте, ставящего своей целью создание распределенной программной среды, позволяющей хранить и осуществлять поиск элементов фунционального кода (функций и типов), их строгих спецификаций и доказательств соответствия кода спецификации в рамках среды Coq. Описываются возможные подходы к созданию подобной системы, выносятся на обсуждение ряд потенциальных проблем, могущих возникнуть при ее эксплуaтации. Дается обзор текущей стадии разработки. Доклад нацелен в большей степени на профессиональную дискуссию.

Программирование — вы делаете это безграмотно! Глухов Михаил
В докладе вы узнаете о одном из самых недооцененных подходов в
программировании — "Литературном программировании". В отличии от
распространенных подходов (ООП, функциональное программирование),
рассматривающих программу как иерархический набор идиом (объектов,
блоков, фунций) в Literate Programming программа рассматривается как
"взаимозависимая сеть концепций" и создается как "поток мысли",
проходящий по этой сети в последовательности, определяемой логикой
мышления, что внешне делает форму описания похожей на литературное
эссе.

Дональд Эрвин Кнут, разработчик подхода и автор всемирно-известной
монографии "Искусство программирования" считает, что без применения
этого подхода множество сложных проектов не могли бы быть созданы и
позиционирует Literate Programming как универсальный способ управления
разработкой больших и сложных проектов, документирования, и
обеспечения взаимодействия программистов.

Сегодня Дональд Кнут является почётным профессором информатики
Стэнфорда и ряда университетов разных стран мира, в том числе
Санкт-Петербургского.

Мы проанализируем идею и методологию литературного
программирования, рассмотрим его инструментальные средства и попробуем
их применить для написания чего-нибудь более сложного чем HelloWorld.

Также будут продемонстрированы применения метода для разных языков
программирования и интеграция с современными методологиями разработки
ПО.
 

Реализация Use Case архитектуры на clojure с использованием prismatic schema Николай Рыжиков

Ожидаются еще доклады - следите за обновлениями