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
In this talk we'll see how to model a tree structure in Scala, take both imperative and functional approaches to tree traversal algorithms, and do some ASCII art at the same time.
In this talk, I'd like to share how the Iron library and features from Scala 3 helped us build a solution which is safer, more robust, and easier to maintain.
In this talk, I'll look at the different uses to which tagless final is put to, and see what we can learn about when it is useful and when it just gets in the way.