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

The podcast features a speaker discussing Scala 3 types, providing mental models and comparing type levels to value levels using set theory. The speaker explains concepts like named and anonymous functions, def to val refactoring, curried functions, and polymorphic methods, using substitution models to illustrate these points. The discussion extends to sets, subtypes, intersection and union types, and type lattices, drawing parallels between type and value levels. The speaker also touches on the introduction of polymorphic function literals in Scala 3 and the enhancements to the type lattice, including type lambdas. The podcast concludes with a Q&A session, addressing questions about implicit conversions, type lambdas in Scala 2, exclusive type boundaries, and the type lattice.