Venners & Sommers: Thinking in Scala 3 Types [Scala Days 2025]

"The Scala 3 type system is powerful, but to use it effectively, you need to understand it. This talk offers a guided tour of its major features."

"You'll leave with mental models that will make the type system more intuitive and practical for your day-to-day Scala programming."

The Scala 3 type system includes various features such as types, bounds, kinds, variance, type lambdas, and polymorphic functions. It also covers abstract types and wildcard type arguments. Gaining familiarity with these concepts provides mental models that enhance the intuitiveness and practicality of the type system. This knowledge is crucial for improving day-to-day Scala programming skills.

Read at YouTube