Explore the evolution and intricacies of Scala macros in this 39-minute conference talk from Strange Loop 2013. Dive into the internals of Scala macros, starting with the initial design of def macros in Scala 2.10. Discover popular use cases and patterns characteristic of the macro system. Learn about macro paradise and its various inhabitants, including type macros, untyped macros, inference macros, jitted macros, and macro annotations. Follow the journey of these new macro concepts as they attempt to make their way into Scala 2.11, facing challenges from the Scala typechecker. Understand the emergence of blackbox and whitebox macros as the next generation of Scala macros. Gain insights into the limitations of def macros and the potential future of macro annotations in Scala 2.12. Presented by Eugene Burmako, a metaprogramming expert from École Polytechnique Fédérale de Lausanne, this talk offers a comprehensive overview of Scala macros' philosophy and development.