To the Pub

If you're dead on your feet and want to skip straight to the pub, from 6PM we'll be opening up the bar (see programme for location details).

Keynote: The Maths Behind Types

Featuring Bartosz Milewski

You often think of types as specifying data layouts in computer memory. You have bytes, shorts, floats, and arrays, which are very close to the metal. But then you have integers and Booleans, which are abstractions taken from math. And then there are algebraic data types, and function types....

scalax scala category-theory constructive-logic type-system types mathematics maths math bigdata

Integration Testing using sbt, Scalatest and Docker

Featuring Emanuele Blanco

Unit tests help you to write software that adheres to a certain sets of requirements, expressed as tests. However, they focus on testing units of software in isolation and not so much on how major parts of a system are integrated. Integration tests fill this gap, and they are an important part of...

Farewell Any => Unit, Welcome Akka Typed!

Featuring Heiko Seeberger

Akka has become a very successful platform for building reactive systems. At its core the akka-actor module implements the actor model as created by Carl Hewitt et al. Surprisingly enough, although Scala and Java are type safe languages, Akka actors are untyped. This means that we can send Any...

scala akka

Real World Serverless

Featuring Petr Zapletal

Serverless is a hot topic in the software architecture world and also one of the points of contention. Serverless can let you run our code without provisioning or managing servers. You don't have to think about servers at all. Things like elasticity or resilience might not longer be our...

scala serverless distributed-systems

Building a Tagless Final DSL for WebGL in Scala

Featuring Luka Jacobowitz

In functional programming you very often find yourselves wanting to use some kind of library that doesn’t really expose a functional API. That’s where embedded domain specific languages come to the rescue.

scala dsl functional-programming scalajs api

Akka support in IntelliJ IDEA

Featuring Andrew Kozlov

No doubt that almost every application is multi-threaded nowadays. But building a good one is still a big deal. For example frameworks (that were actually supposed to make the concurrent programming easier) became quite complicated themselves. So now it's IDEs' turn.

scala akka kotlin jetbrains

Free Monad or Tagless Final? How Not to Commit to a Monad Too Early

Featuring Adam Warski

Functional programming is on the rise; monads are everywhere. But how to choose the right wrapper for the values which we manipulate (i.e. monad)? Quite often, the answer is far from obvious, and it’s useful to delay the decision as much as possible. Furthermore, picking a particular monad too...

scala functional-programming free-monads tagless monads

Lightning Talk - Install Your Scala Toolchain with SDKMAN!

Featuring Marco Vermeulen

SDKMAN! is a tool for managing parallel versions of multiple Software Development Kits on most Unix based systems. It provides a convenient Command Line Interface (CLI) and API for installing, switching, removing and listing Candidates.

Freestyle, Free & Tagless: Separation of Concerns on Steroids

Featuring Michał Płachta

You will learn how to cut your applications into isolated, independent pieces using Freestyle library with free monads or tagless final style. The session is based on a multiplayer, purely functional version of Prisoner’s Dillema.

software-development akka cats freestyle functional-programming free-monad scala live-coding