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