In this talk, we’ll show first the different techniques we can use to apply constraints is our domains. Then, we’ll present Iron, its features, extensions, and integrations. We’ll finish by showcasing a fully integrated constraint-enforcing app.

When designing an application, we often end up with domain-specific types, that all behold constraints that we try to enforce as much as possible: an age is positive, a delivery date can’t be in the past, etc. Modelling the data right is a part of the success of Scala and functional programming in general, but it also brings either boilerplate (we have to do again and again validation), or rely purely on conventions.
But there is hope. Meet the Iron library.
Iron is, a type constraint library that allows us to have a safe, declarative and smarter model. It enables us to have a continuous stream of valid data from our API endpoints to the database, and removed a whole class of bugs. Using advanced features like opaque types, inlines and the new macro system, it offers a true 0 cost, 0 dependency library that doesn't hamper compile time.
In this talk, we’ll show first the different techniques we can use to apply constraints is our domains. Then, we’ll present Iron, its features, extensions, and integrations. We’ll finish by showcasing a fully integrated constraint-enforcing app.
Join me in a talk empowering you to build Scala applications that not only excel internally but also deliver optimal experiences from an external perspective.
In this talk, we will demonstrate some elegant applications of functional programming in Scala, with even more elegant visual results - all with live code and real-time output.
In this session, I will guide you through two recent additions to Ox that I helped implement: channel operators and retries.
I would like to go over the most relevant tools and changes that can improve your developer experience.
Let's write a game in Scala Native, for Playdate!
This talk is my slightly expanded version of that statement, and should hopefully understand what "Free" is, what purpose it serves and where it came from.