• 16 января 2015, пятница
  • Санкт-Петербург, Встреча состоится в офисе JetBrains на Васильевском острове (бизнес центр Universe СПб, Университетская наб., 7-9-11, корп. 5, лит. А)

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

Регистрация на событие закрыта

Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.

Другие события организатора

950 дней назад
16 января 2015 c 19:00 до 23:00
Санкт-Петербург
Встреча состоится в офисе JetBrains на Васильевском острове (бизнес центр Universe СПб, Университетская наб., 7-9-11, корп. 5, лит. А)

Встреча инженеров интересующихся функциональным программированием (clojure, erlang, haskell, scala)

Программа будет состоять из докладов по 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 Николай Рыжиков

 

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

Регистрация

Рекомендуемые события

Организуете события? Обратите внимание на TimePad!

Профессиональная билетная система, статистика продаж 24/7, выгрузка списков участников, встроенные инструменты продвижения, личный кабинет для самостоятельного управления и еще много чего интересного.

Узнать больше