# Homogeneous Tuples in Scala 3
14 min read
How to prove at compile time that a Scala 3 tuple contains only elements of a single type, using match types, opaque types, and clause interleaving.
/ tags/ scala-3
# Scala Type Class Derivation with (almost) no macros
8 min read
Automating type class derivation in Scala 3 using the Mirror API and compiletime utilities — replacing complex Scala 2 macro code with readable, type-safe compile-time logic.
# Type-Safe Access to Method Parameter Defaults in Scala
9 min read
How to extract method parameter defaults at compile time in Scala 3 using macros, the Selectable trait, and computed field names for full type safety.
# Method too large
5 min read
How to work around the JVM 64KB method size limit when generating code with Scala 3 macros, using local method chunking to split large generated methods.