Advanced Features of Scala 3
summary
Covers concrete Scala 3 features and how to use them: opaque types (alias that avoids boxing at call sites, with example logarithm and posint hierarchies), value classes/AnyVal tradeoffs, type lambdas and how they model type-level functions, polymorphic function types and dependent function types for call-site-specific result types, compile-time inline and transparent inline (code substitution and return-type narrowing), match types for type-level pattern matching, and quotes/splices as AST macros for code generation.
AI-written summary · about
chapters (8)
- 0:00Introduction
- 7:59Type Lambda
- 11:08Polymorphic Functions
- 15:34Match Types
- 17:50Dependent Function Types
- 21:01Meta Programming
- 28:55Quotes Splices
- 30:53Discount Code
