Metadata types with Scala 3

Strongly-typed programming languages allow us to avoid programming errors by lifting important information about data into the type system. By doing this, we can use the compiler to check our programs, and the stronger your types, the more your compi...