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).

An invitation to functional programming

Featuring Rúnar Bjarnason

Scala is not a purely functional programming language. But we can restrict ourselves to a purely functional subset of Scala. The question is: should we? This talk will make the case that the answer is unequivocally "yes". We can treat Scala as a purely functional language. But more than...

scalax scala functional-programming

Declarative protocol messages in Scala for testing distributed systems

Featuring Patrick Tschorn

When testing distributed systems, protocol messages have to be parsed, instantiated and modified, which leads to incidental code that obscures the test narrative.

scala distributed testing

All you don't need to know about typeclasses

Featuring Julien Sirocchi

Scala syntax is succinct, clean and easy to read, however some of the library signatures that support this are more complicated than one might expect. Type-classes use sophisticated signatures to enable clean client code. This talk is aimed at novice or intermediate Scala developers wanting to...

scala types typeclass

Under the Hood of Scala Implicits

Featuring Alexander Podkhalyuzin

Implicit conversions and implicit parameters are fundamental and unique features of Scala that are powerful at the same time. To use these features to their maximum potential, and do so with confidence, you have to understand the specifics of how Scala compiler’s implicits search works. I will...

scala implicit spray

42: Rise of the dependent types

Featuring George Leontiev

Scala is a language with a very sophisticated type system. It is even said to be the "poor-man's prolog". As part of his hacker-time (20% time program) at SoundCloud, George collaborated with Eugene Burmako to explore the possibility of adding an accessible way to use literal-based...

scala types

State of the Typelevel

Featuring Lars Hupel

The typelevel project is nearing its second anniversary -- a great time to look at what it is actually about. Starting out as a community of Scala projects aiming for principled library design, we have been continuously growing by adding more projects and most recently, forking the Scala compiler...

scala functional-programming types

A Field Guide to DSL Design

Featuring Tomer Gabel

Scala combines a powerful type system with a lean but flexible syntax. This combination enables incredible flexibility in library design, most particularly in designing internal DSLs for many common scenarios: specification definition and matching in Specs² and ScalaTest, request routing in Spray...

scala dsl

Using Docker, Scala and Akka for integration tests

Featuring Andreas Gies

Developing a distributed application presents many challenges and one of the biggest is integration testing. While we have many tools at our fingertips for tackling unit tests integration tests are run manually within many projects. Most of the time this is because an integration test requires a...

scala akka docker integration-testing

Type-Level Computations in Scala

Featuring Stefan Zeiger

Scala has a powerful type system that allows many properties of a program to be verified at compile-time. Do you still think of types as Int, String and Object? Types like ""Fold[Nat, ({ type L[X <: HList, Z <: Nat] = Succ[Z] })#L, Nat._0]"" are only a small step away....

scala types