Explore polymorphic function types in Scala 3 through this in-depth conference talk from Scala Days 2023 Seattle. Dive into the evolution of function representation in Scala, from traditional FunctionN classes to the new polymorphic function types. Learn how these advanced types enable the creation of functions with type parameters, overcoming previous limitations. Discover practical use cases, implementation details, and recent compiler improvements that enhance their usability. Gain insights into the interaction of polymorphic function types with other language features, and explore potential future enhancements. Suitable for Scala developers looking to leverage the full power of Scala 3's type system and functional programming capabilities.
Overview
Syllabus
Intro
Method references
Example usecase
Taking a step back
Type erasure (2/2)
Example 2: Preserving type information
Encapsulation
Polymorphic eta-expansion (1/2)
Idea 2: type parameter clause inference + eta-expansion
Better subtyping
Taught by
Scala Days Conferences
