Abstract Data Types In The Region Of Abysmal Pain, And How To Navigate Them

Featuring Zainab Ali

Abstract data types are an essential tool in a programmer's toolkit, but finding a data structure to fit them can be challenging. This is especially so for graphs, which can have complex constraints that are difficult to encode using conventional data structures.

jvm typesafe-graph typesafe data-structures types abstract-data-types data-types scala

The Last Frontier and Beyond

Featuring Valentin Kasas

Have you ever written some boilerplate code for handling your application’s communication with the outside world? You know, that JSON (de)serializer that once was nicely generated at compile-time but broke when you had to evolve your business model?

scaling boilerplate-code boilerplate json scala

Why API Design Matters, and Why Yours Sucks! (and mine sucks too!)

Featuring Dick Wall

Scala offers incredible power and flexibility, providing features from many different languages and philosophies. This leads to a very diverse ecosystem and a wide range of possibilities for solving the same problems in very different ways.

scala matters

The Elements of Tagless Final Style

Featuring Noel Welsh

Much has been said about tagless final style. It is variously dead, alive, or rising from the grave to wreak revenge upon its detractors.

cats underscore libraries scala

Scala 2.13 and Beyond!

Featuring Adriaan Moors

The headline feature for this year's Scala release is a reworked collections library, with a focus on simplicity and performance. As we look forward to Scala 3, Adriaan is really excited to deliver the first significant part of his team's vision for the next decade of functional...

lightbend java-11 functional-programming scala

How I Rebuilt the Typelevel Ecosystem with Fury

Featuring Jon Pretty

Fury is a new build tool and dependency manager for Scala, based on a radical new model of source dependencies and distributed builds. The Typelevel ecosystem offers a platform of many useful Scala projects which have been converted to use Fury.

scala matters

Functional Interpreters and You

Featuring Dave Gurnell

scalax scala functional-programming

Keynote: Conveying the Power of Abstraction

Featuring Dr Eugenia Cheng

Abstract mathematics is sometimes thought of being very far removed from real life, perhaps something that people think about with their head in the clouds as opposed to the sort of applied maths and science do when people are thinking about "reality". And yet, many of you who work in...

abstract-mathematics abstraction scalax functional-programming haskell scala

2

Monad I Love You Now Get Out of My Type System

Featuring Gjeta Gjyshinca and James Belsey

Functional programming has features such as presumed immutability and a declarative nature. With the rise of multicore machines and the growth in multi-threaded programming, it's natural for functional programming to increase in prominence. However non-functional programming languages and...

scala scalax functional-programming

Types vs Tests

Featuring Julien Truffaut

Tab vs spaces, vim vs emacs, types vs tests, our community is full of these conflicts. In this talk, you will explore the latter: what is the impact of types in our programs? Can types help write more efficient tests? If so, how?

scala type-theory types testing