In this talk, we'll cover the essentials of macros, why they are useful, why you should care about them, and how to become as good as you need with them for practical purposes.

Scala 3 macros are some of the least understood parts of the language, and some of the most powerful. In this talk, we'll cover the essentials of macros, why they are useful, why you should care about them, and how to become as good as you need with them for practical purposes.
You will understand:
- why inlines are great but often not sufficient
- the mechanics of a macro
- how to manipulate programs as values
- how to surface custom errors in the compiler
- essential pieces you can work with, including terms, symbols, types, trees and expressions
- how to make useful libraries with macros
- practical examples of macros at work
Scala 3.6 stabilises the Named Tuples proposal in the main language. It gives us new syntax for structural types and values, and tools for programmatic manipulation of structural types without macros. Can we, and should we, push it to the limit? Of course! let's explore DSL's for config, data, and scripting, for a more dynamic feel.
In this presentation you will learn the source of your issues, and a third way - sanely-automatic derivation which is fast to compile, fast to run, and easy to debug by its users.
In our talk, we will introduce a novel approach to system design— TypeOps — in which the application and infrastructure layers are fused to provide unprecedented safety and productivity for Scala teams.