LOADING

Armored Type Safety with Iron

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.

Raphaël Lemaitre
About This Talk

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.

more great talks

Might Be Interesting

Day 1
  —  
2:30 pm
arrow pointing right icon

Anti-corruption layers through functional type safety

This presentation describes the development of a financial middleware that internationally connects several ERP systems (Navision and SAP) to a cloud-based invoicing solution.

Day 1
  —  
4:00 pm
arrow pointing right icon

Minimize your Python Discomfort: A tour of NLP with Spacy, ScalaPy, and Scala 3

In this talk, I will show how you can use ScalaPy to leverage an excellent NLP library like Spacy, minimizing your discomfort of using Python, and enhancing your comfort with Scala 3 for the remaining parts of your application.

Day 2
  —  
11:30 am
arrow pointing right icon

Implementing multithreading in Scala Native or a story of 201 little pains

Listen to a story of how we have dealt with 201 obstacles allowing us to run multithreaded programs natively!

Day 2
  —  
2:00 pm
arrow pointing right icon

Turbocharging web socket integration for Tapir

We managed to alleviate almost entirely the slowdown induced by Tapir in a web socket server. The journey towards this goal was quite insightful, and we would like to share it with you.

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