Scala, Programming, Functional Programming, Type Safety.
final version of our refined types: Let’s check if it works: We are using automatic refinements and conversions here (import eu.timepit.refined.auto._), but in the real world values are going to be read from http requests, database or Kafka messages — later I’ll show you how the library guards type