LOADING

Typesafe techniques for better sleep at night

I'll share a handful of techniques that can help you avoid runtime errors and shift them to the realm of compile time

Michal Pawlik
I am creating warehouse automation systems in Scala.
About This Talk

You are having a good night's sleep and suddenly your phone rings. You wake up and jump to your feet thinking it’s an incident report, but after a second you calm down because you know that it was only one of those “you won a lottery” texts. Thanks to the latest techniques you have implemented, everything is under control. You fall asleep happy that your smart work during the day lets you sleep safe during the night.

Of course, we will not predict everything but during my talk, I'll share a handful of techniques that can help you avoid runtime errors and shift them to the realm of compile time. We'll talk about Scala, refined types and a declarative approach to HTTP endpoints using Tapir.

more great talks

Might Be Interesting

Day 2
  —  
2:30 pm
arrow pointing right icon

Custom Stream Operators Made Safe And Simple with Libretto

How Libretto, a Scala DSL for concurrent programming, can be used for writing custom stream operators

Day 1
  —  
2:00 pm
arrow pointing right icon

Smart data pipelines for AI

How to use FreeMonad to build data pipelines for AI

Day 2
  —  
1:30 pm
arrow pointing right icon

Pretty little compilers

We all have pretty little things laying around in our codebases, yet, we seldom give them the same love

Day 1
  —  
4:30 pm
arrow pointing right icon

Things that are things, but not other things

Understanding the exact properties that disqualify a data type from being an instance of a given abstraction turns out to be surprisingly helpful

See All Events
Join us!

We're looking for amazing speakers.
CFP is open till 10.01.2023

Fill in Call for Papers
location icon

Location

Centrum Konferencyjne POLIN, Poland
stay in touch icon

Follow Us

Contact Us