Andreas Rumpf introduces Nimrod, a statically typed programming language supporting unhygienic/hygienic and declarative/imperative AST-based macros. The talk focuses on metaprogramming capabilities.