Обсудим роль математики в нашей профессии.

Кем был автор лямбда-исчисления и почему математики отстают от философов? Где прячется алгебра в алгебраических типах данных и почему Scala-руководство не говорит всей правды? Как с помощью функции доказать теорему и зачем нужен пустой тип?

Приходите на конференцию, чтобы узнать ответы.

Если вы работали в компании с несколькими продуктами, то знаете, как порой сложно интегрировать сторонние сервисы. В такие моменты думаешь: «Вот бы просто подключить библиотеку, где бы уже реализовали эту интеграцию, да ещё и с политиками ретраев, логирования, тайм-аутов и прочего».

Мы в Т‑Банке реализовали подход, чтобы просто подключать библиотеку и вызывать метод. На докладе разберу, что у нас получилось.

Великие типы́ поднесли нам язык программирования, в котором каких только типов нет. В Scala есть и типы высших порядков, и типы, зависимые от путей, и типы-капабилити и много других. При этом это всё ещё объектно ориентированный язык, а значит, без отношения подтипирования — никак: наследоваться-то надо.

Расскажу, как удивительным образом хорошо это отношение работает со всеми видами типов языка и как это используется на практике в скаловых опенсорс-библиотеках.

Read-only база данных — одна из важных частей поиска, и на низком уровне мы сталкиваемся с множеством примитивных данных. В Scala часто просходит автоматическое преобразование, которое несёт ненужную нам аллокацию типов-обёрток.

В первой части доклада я расскажу, какими методами находить аллокации и как писать код без них. А во второй — поделюсь нашим решением, как передавать данные между двумя сервисами и избежать автоматического преобразования.

Влияет ли первоначальный дизайн на дальнейшую судьбу языка программирования?

Что собой представляет настоящая акторная модель на примере Elixir (BEAM)? И почему эту модель невозможно реализовать поверх JVM? Обсудим всё это в рамках доклада.

Когда YTsaurus опубликовали в опенсорс, появились новые требования к SPYT — проекту, который помогает интегрировать платформу с Apache Spark™.

Одно из требований — отказ от форкнутой версии Spark. Но как быть, если наши модификации уже проросли в самую глубь и мы не хотим от них отказываться? Тогда мы разработали способ для патчинга Apache Spark™ в рантайме. Этим опытом и поделюсь на своём выступлении.

Как превратить сложные процессы в понятные и надежные решения? В докладе вы узнаете, как с помощью стримов на Scala моделировать процессы, управлять временем и состоянием, создавая код, который легко поддерживать.

Этот доклад для тех, кто хочет по-новому взглянуть на разработку и раскрыть мощь стримов для решения реальных задач. Готовы увидеть, как код превращается в произведение искусства?