ScalaUA-2019 Abstracts

Raam Rosh-Hai – Workshop: Implementing an Assaf Connector (45 minutes)
In this workshop we will implement an illustrative use case to actors and streams: Using akka-streams and akka actors we will create a library that allows deploying applications to the Assaf platform, this will involve crossing the boundaries between asynchronous and concurrent processes using messaging, concepts in parallelism and levergin the type system to guide through all that.  
Roksolana Diachuk – Streaming data processing with Apache Spark (45 minutes)
Many business decisions strive to use real-time data in order to create more accurate results. And there are specified approaches to such data processing. One of the most popular approaches is implemented using Spark Streaming module of the Apache Spark. This talk will help you to learn about legacy streaming data processing as well as structured streaming, possible use cases and challenges. A set of short visual examples will guide you through the features of both streaming data processing types.  
Ruslan Shevchenko – From Akka to Labelled Transition Systems – semi open questions
Can we say that Akka with new typing interface now ‘math-frienly’ ? We will show possible relation between Akka behaviour and well-studied math objects - Labelled Transition Systems (LTS). LTS can represent complex behaviors in composable and functional form. Other part of story - exists many techniques for operating with LTS specifications in a formal way, can we map this techniques to the Akka case ? And in general - how formal methods can be applicable in a day to day programming ?
Ruslan Shevchenko – From Akka to Labelled Transition Systems – semi open questions
Can we say that Akka with new typing interface now ‘math-frienly’ ? We will show possible relation between Akka behaviour and well-studied math objects - Labelled Transition Systems (LTS). LTS can represent complex behaviors in composable and functional form. Other part of story - exists many techniques for operating with LTS specifications in a formal way, can we map this techniques to the Akka case ? And in general - how formal methods can be applicable in a day to day programming ?
Slava Schmidt – One hundred charts, one schema
Recursion schemas are getting a lot of attention from programming cummunity recently and covered by at least a handful of talks. Most of the talks explain "the what and how" but do not go further about "the why". The first part of this talk builds your intuition of why recursion schemas are useful up from the foundations that recursion is defined upon. In the second part we'll demonstrate in detail a real-life example of how recursion schemas allowed to significantly improve data backend for an analytics application.